Vers Une D marche de V rification Formelle D Architectures Logicielles

Le domaine de l'architecture logicielle est devenu un champ part entire au niveau du gnie logiciel : des workshops et des confrences spcialiss tels que EWSA (European Workshop on Software Architectures) et CAL (Confrence francophone sur les Architectures Logicielles) font maintenant le point sur ce domaine. L'architecture logicielle fournit une description de haut niveau de la structure d'un systme. Elle est dfinie par des composants, des connecteurs et des configurations (Garlan, 1993). La conception architecturale occupe une position clef et critique dans le processus de dveloppement d'un systme