Vers une demarche de verification formelle d'architectures logicielles

• Date de parution : 28/11/2011
• Editeur : Editions Universitaires Europeennes
• EAN : 9783841780898
• Série : (-)
• Support : Poche

• Nombre de pages : (-)
• Collection : (-)
• Genre : Lettres et linguistique
• Thème : Lettres et linguistique Poche
• Prix littéraire(s) : (-)

Le domaine de l'architecture logicielle est devenu un champ à part entière au niveau du génie logiciel : des workshops et des conférences spécialisés tels que EWSA (European Workshop on Software Architectures) et CAL (Conférence francophone sur les Architectures Logicielles) font maintenant le... Voir plus

Le domaine de l'architecture logicielle est devenu un champ à part entière au niveau du génie logiciel : des workshops et des conférences spécialisés tels que EWSA (European Workshop on Software Architectures) et CAL (Conférence 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 système. Elle est définie par des composants, des connecteurs et des configurations (Garlan, 1993). La conception architecturale occupe une position clef et critique dans le processus de développement d'un système