Back to Search

Vers Une Démarche de Vérification Formelle D Architectures Logicielles

AUTHOR Graiet-M
PUBLISHER Omniscriptum (02/28/2018)
PRODUCT TYPE Paperback (Paperback)

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
Show More
Product Format
Product Details
ISBN-13: 9783841780898
ISBN-10: 384178089X
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: French
More Product Details
Page Count: 220
Carton Quantity: 36
Product Dimensions: 5.98 x 0.50 x 9.02 inches
Weight: 0.72 pound(s)
Country of Origin: FR
Subject Information
BISAC Categories
Computers | Information Technology
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
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
Show More
List Price $89.00
Your Price  $88.11
Paperback