|
Titre :
|
Génie logiciel : spécification des logiciels ; deux exemples de pratiques récentes, Z et UML
|
|
Auteurs :
|
Pascal André, Auteur ;
Alain Vailly, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Ellipses, 2001
|
|
Collection :
|
Technosup
|
|
ISBN/ISSN/EAN :
|
978-2-7298-0774-0
|
|
Format :
|
317 p. / ill. / 26 x 18 cm
|
|
Note générale :
|
Bibliogr. Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
378.64
|
|
Mots-clés:
|
informatique
;
manuels d'enseignement supérieur
;
Z (langage de programmation)
;
UML (informatique)
|
|
Résumé :
|
2 parties comprenant chacune : une introduction à la problématique générale du domaine, une illustration de cette problématique par un langage représentatif (Z pour les spécifications formelles et UML pour la modélisation à objets), une présentation des principes de spécifications applicables avec ses langages, un complément de notation destiné à approfondir la connaissance de Z ou UML.
|
