| Titre : | Spécification des logiciels : deux exemples de pratiques récentes : Z et UML |
| Titre de série : | Génie logiciel |
| Auteurs : | Pascal André, Auteur ; Alain Vailly, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2011 |
| Collection : | Technosup |
| ISBN/ISSN/EAN : | 978-2-7298-0774-0 |
| Format : | 317 p. / ill. / 26 cm |
| Note générale : | Bibliogr. p. [305]-310. Index |
| Langues : | Français |
| Index. décimale : | 681.3.06 (Logiciels. Software) |
| Tags : | Z (méthode formelle) -- Manuels d'enseignement supérieur Programmation orientée objets (informatique) -- Manuels d'enseignement supérieur Génie logiciel -- Manuels d'enseignement supérieur Logiciels -- Développement -- Manuels d'enseignement supérieur UML (informatique) -- Manuels d'enseignement supérieur |
| Résumé : |
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. |
| Note de contenu : |
Au sommaire :
I. Spécification formelle avec Z. 1. Introduction aux spécifications formelles. 2. Le language Z. 3. La spécification avec Z. 4. La spécification avec Z : la facturation de commandes. 5. Des compléments pour la modélisation avec Z. II. Modélisation objet avec UML. 6. Introduction au développement à objets. 7. La notation UML. 8. La spécification avec UML. 9. Des compléments pour la mondialisation avec UML. |
Exemplaires (6)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | Consultation sur place |
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3.06 AND | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
