Vers Une Démarche de Vérification Formelle D Architectures Logicielles Contributor(s): Graiet-M (Author) |
|
![]() |
ISBN: 384178089X ISBN-13: 9783841780898 Publisher: Omniscriptum OUR PRICE: $84.55 Product Type: Paperback Language: French Published: February 2018 |
Additional Information |
BISAC Categories: - Computers | Information Technology - Literary Criticism |
Series: Omn.Univ.Europ. |
Physical Information: 0.5" H x 5.98" W x 9.02" (0.72 lbs) 220 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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 |