Les systèmes de systèmes (SoS) se composent d'un ensemble de sous-systèmes hétérogènes et indépendants, qui collaborent pour atteindre un objectif ultime. Ces caractéristiques, couplées à la nature dynamique des exigences font que leur spécification devient complexe. Cette thèse, consacrée à la spécification et la configuration des SoS dynamiques, prend le parti de se baser sur des principes de réutilisation pour la dérivation de configurations en vue de réaliser ceux-ci au fur et à mesure que le contexte ou les exigences évoluent. Le cadre des lignes de produits logiciels dynamiques (LdPD) est ainsi adapté puis exploité en tant que base conceptuelle. La contribution réside dans la notation formelle State-Constraint Transitions (SCT), dédiée à la spécification de SoS dynamiques, qui adaptent leur comportement en réponse à l'évolution du contexte et des exigences. D’un point de vue conceptuel, SCT est une variante des machines à états finis dont la puissance d’expression est étendue au moyen du concept de contraintes. Ce langage de spécification apporte une réponse aux verrous liés à la spécification d’exigences dynamiques en introduisant un concept d’état de configuration traduisant les exigences en contraintes qui permettent de contrôler l’adéquation des configurations à des contextes variables. Le pouvoir d’expression des approches LdPD existantes est ainsi étendu, en combinant la facilité d’utilisation des notations bien établies, avec la puissance d’expression et de calcul de la programmation par contraintes. Cette contribution est mise en œuvre au moyen du Framework Xtext, et a été évaluée avec trois cas d’application.