| Titre : | Exercices corrigés en langage Z : les spécifications formelles par l'exemple |
| Auteurs : | Pascal André ; Alain Vailly |
| Type de document : | texte imprimé |
| Editeur : | Ellipses Marketing, DL 2004. |
| Collection : | Technosup |
| Sous-collection : | Génie logiciel |
| ISBN/ISSN/EAN : | 978-2-7298-1942-2 |
| Format : | 243 P. / ill., graph., fig., couv. ill. en coul. / 26 cm. |
| Langues: | Français |
| Index. décimale : | 005 Organisation des données, programmation des ordinateurs, programmes |
| Résumé : | Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles |
Exemplaires (5)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| DST002541 | 005-484 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Consultation sur place Exclu du prêt |
| DST002545 | 005-484 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
| DST002542 | 005-484 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
| DST002544 | 005-484 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
| DST002543 | 005-484 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
