International audienceCet article s’intéresse à la spécification des architectures logicielles. Il présente une symbiose entre l’approche conceptuelle basée sur les profils UML et la vision opérationnelle prônée par ArchJava. Actuellement, chaque langage de description se situe à une extrémité du processus, engendrant ainsi un découplage entre la spécification des Architectures Logicielles et leur implémentation et un risque d’incohérence. Nous décrivons une démarche basée sur un profil UML pour la description structurale des architectures logicielles et des règles de transformation pour générer le code source. Les expérimentations actuelles sont probantes et nous espérons poursuivre la réflexion sur les configurations et l’aspect dynamique...
L'architecture logicielle est devenue un thème scientifique majeur de l'infonnatique. En effet, l'ar...
International audienceDans ce papier, nous traitons le problème de la conception formelle des systèm...
Software architecture has emerged as an important field of software engineering for managing the rea...
International audienceCet article s’intéresse à la spécification des architectures logicielles. Il p...
Le travail présenté dans cette thèse s'inscrit dans le cadre des architectures logicielles à base de...
Cette thèse propose une Démarche de Vérification Formelle d'Architectures Logicielles: DVFAL. La dém...
The description of software architectures has always been concerned with the definition of the appro...
By promoting their descriptions at a high level of abstraction, software architectures have been int...
Président : Pr Mireille Clerbout LIFL, Universit?e de Lille I Rapporteurs : Pr Jean Bézivin CRGNA, U...
Over the past decade software architecture has received increasing attention as an important subfiel...
Les approches basées sur les composants permettent de développer des logiciels en réutilisant des co...
Abstract. The description of software architectures has always been concerned with the definition of...
International audienceRÉSUMÉ Nous abordons en premier dans cet article, une analyse de l'évolution d...
L'architecture logicielle est devenue un thème scientifique majeur de l'infonnatique. En effet, l'ar...
International audienceDans ce papier, nous traitons le problème de la conception formelle des systèm...
Software architecture has emerged as an important field of software engineering for managing the rea...
International audienceCet article s’intéresse à la spécification des architectures logicielles. Il p...
Le travail présenté dans cette thèse s'inscrit dans le cadre des architectures logicielles à base de...
Cette thèse propose une Démarche de Vérification Formelle d'Architectures Logicielles: DVFAL. La dém...
The description of software architectures has always been concerned with the definition of the appro...
By promoting their descriptions at a high level of abstraction, software architectures have been int...
Président : Pr Mireille Clerbout LIFL, Universit?e de Lille I Rapporteurs : Pr Jean Bézivin CRGNA, U...
Over the past decade software architecture has received increasing attention as an important subfiel...
Les approches basées sur les composants permettent de développer des logiciels en réutilisant des co...
Abstract. The description of software architectures has always been concerned with the definition of...
International audienceRÉSUMÉ Nous abordons en premier dans cet article, une analyse de l'évolution d...
L'architecture logicielle est devenue un thème scientifique majeur de l'infonnatique. En effet, l'ar...
International audienceDans ce papier, nous traitons le problème de la conception formelle des systèm...
Software architecture has emerged as an important field of software engineering for managing the rea...