Les approches basées sur les composants permettent de développer des logiciels en réutilisant des composants existant dans des bibliothèques. La structure d'un tel logiciel produit par assemblage de composants est définie à l'aide d'un langage de description d'architectures (ADL). Les processus de développement sont encore peu adaptés à ce paradigme. Ainsi, les ADL existants ne fournissent pas de véritable support au développement et à l'évolution des architectures logicielles à composants. Cette thèse propose Dedal, un ADL permettant de définir une architecture logicielle à différents niveaux d'abstraction qui correspondent aux étapes du cycle de vie du logiciel : sa spécification, son implémentation et son déploiement. La définition de l'...
L'ingénierie des logiciels à base de composants, produisant du logiciel en assemblant des composants...
Cette habilitation à diriger des recherches présente une synthèse de mes travaux ayant trait à la re...
Les logiciels adaptatifs sont une classe de logiciels qui peuvent modifier leur structure et comport...
Les approches basées sur les composants permettent de développer des logiciels en réutilisant des co...
Le travail présenté dans cette thèse s'inscrit dans le cadre des architectures logicielles à base de...
Les architectures logicielles sont centrales vis-à-vis des processus logiciels de construction des a...
L'architecture logicielle est un domaine récent du génie logiciel qui a reçu une attention particuli...
En favorisant leurs descriptions à un haut niveau d abstraction, les architectures logicielles ont é...
Cette thèse propose une Démarche de Vérification Formelle d'Architectures Logicielles: DVFAL. La dém...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
Les architectures logicielles ont été introduites en réponse à l accroissement de la complexité des ...
International audienceLors de la construction de lignes de produits logiciels, la gestion de la vari...
L'architecture logicielle est devenue un thème scientifique majeur de l'infonnatique. En effet, l'ar...
Over the past decade software architecture has received increasing attention as an important subfiel...
L'ingénierie des logiciels à base de composants, produisant du logiciel en assemblant des composants...
Cette habilitation à diriger des recherches présente une synthèse de mes travaux ayant trait à la re...
Les logiciels adaptatifs sont une classe de logiciels qui peuvent modifier leur structure et comport...
Les approches basées sur les composants permettent de développer des logiciels en réutilisant des co...
Le travail présenté dans cette thèse s'inscrit dans le cadre des architectures logicielles à base de...
Les architectures logicielles sont centrales vis-à-vis des processus logiciels de construction des a...
L'architecture logicielle est un domaine récent du génie logiciel qui a reçu une attention particuli...
En favorisant leurs descriptions à un haut niveau d abstraction, les architectures logicielles ont é...
Cette thèse propose une Démarche de Vérification Formelle d'Architectures Logicielles: DVFAL. La dém...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
Face à l'augmentation de la taille et de la complexité des systèmeslogiciels, il convient de les déc...
Les architectures logicielles ont été introduites en réponse à l accroissement de la complexité des ...
International audienceLors de la construction de lignes de produits logiciels, la gestion de la vari...
L'architecture logicielle est devenue un thème scientifique majeur de l'infonnatique. En effet, l'ar...
Over the past decade software architecture has received increasing attention as an important subfiel...
L'ingénierie des logiciels à base de composants, produisant du logiciel en assemblant des composants...
Cette habilitation à diriger des recherches présente une synthèse de mes travaux ayant trait à la re...
Les logiciels adaptatifs sont une classe de logiciels qui peuvent modifier leur structure et comport...