Titre : |
Génie logiciel : spécification des logiciels ; deux exemples de pratiques rØcentes, Z et UML |
Type de document : |
texte imprimé |
Auteurs : |
Pascal André ; Alain Vailly, Auteur |
Editeur : |
Paris : Ellipses |
Année de publication : |
2001 |
Collection : |
Technosup |
Importance : |
317 p. |
Présentation : |
ill. |
Format : |
26 x 18 cm |
ISBN/ISSN/EAN : |
978-2-7298-0774-0 |
Note générale : |
Bibliogr. Index |
Langues : |
Français (fre) |
Index. décimale : |
547540 |
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. |
Note de contenu : |
Fait suite à : "Conception des systèmes d'information" des mêmes auteurs.
Bibliogr. p. 305-310. Index |
Génie logiciel : spécification des logiciels ; deux exemples de pratiques rØcentes, Z et UML [texte imprimé] / Pascal André ; Alain Vailly, Auteur . - Paris : Ellipses, 2001 . - 317 p. : ill. ; 26 x 18 cm. - ( Technosup) . ISBN : 978-2-7298-0774-0 Bibliogr. Index Langues : Français ( fre)
Index. décimale : |
547540 |
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. |
Note de contenu : |
Fait suite à : "Conception des systèmes d'information" des mêmes auteurs.
Bibliogr. p. 305-310. Index |
|