الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail d'une collection
Sous-collection G©nie logiciel
|
Documents disponibles dans la sous-collection
Affiner la recherche Interroger des sources externes
| 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 |
