الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Titre : |
Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML |
Type de document : |
texte imprimé |
Auteurs : |
Pascal Andr© (1967-....), ; Alain Vailly, |
Editeur : |
Paris : Ellipses |
Année de publication : |
2001. |
Collection : |
Technosup |
Sous-collection : |
G©nie logiciel |
Importance : |
1 vol. (317 p.) |
Présentation : |
ill., couv. ill. |
Format : |
26 cm. |
ISBN/ISSN/EAN : |
978-2-7298-0774-0 |
Langues : |
Français (fre) |
Mots-clés : |
Spécification logiciels Z UML |
Index. décimale : |
005 |
Résumé : |
Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes. |
Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML [texte imprimé] / Pascal Andr© (1967-....), ; Alain Vailly, . - Paris : Ellipses, 2001. . - 1 vol. (317 p.) : ill., couv. ill. ; 26 cm.. - ( Technosup. G©nie logiciel) . ISBN : 978-2-7298-0774-0 Langues : Français ( fre)
Mots-clés : |
Spécification logiciels Z UML |
Index. décimale : |
005 |
Résumé : |
Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes. |
| |
Réservation
Réserver ce document
Exemplaires (5)
|
fsei00501 | 005-292.1 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
fsei01719 | 005-292.2 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
fsei00500 | 005-292.3 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
fsei01485 | 005-292.4 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
fsei01486 | 005-292.5 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |