Vers Une D?arche de V?ification Formelle D Architectures Logicielles

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

Author: Graiet-M

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 220 pages

Binding: Paperback or Softback

ISBN-10: 384178089X

ISBN-13: 9783841780898