Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C

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", consacé aux méthodes et aux techniques de base de la conception des systèmes.

Sommaire
Première partie : Spécifications formelles avec Z
Chapitre 1. Introduction aux spécifications formelles : Spécifications par modèle abstrait, spécifications algébriques et mixtes - Chapitre 2. Le langage Z - Théorie des ensembles - Multi-ensembles - Séquences - Chapitre 3. La spécification avec Z : Structuration. Démarche de spécification - Spécification sur l'exemple de l'hôpital - Validation - Robustesse - Raffinage - Les outils - Conclusion - Exercices - Chapitre 4. La spécification avec Z : la facturation de commandes. Spécification de l'état - Spécification de l'état initial - Spécification des opérations - Validation - Une spécification avec des fonctions - Le raffinage - Chapitre 5. Compléments pour la modélisation avec Z. Traduction du formalisme E-A-P en Z - Modélisation avec Z : la bibliothèque - Interprétation des préconditions - La promotion - Z et les objets - Exercices
Deuxième partie : Modélisation objet avec UML
Chapitre 6. Introduction au développement à objets: L'approche à objets - Analyse et conception - Utilisation des méthodes à objets - Classification des méthodes - La méthode OMT - La méthode BON - Conclusion - Chapitre 7. La notation UML. Modèles d'approche - Modèles de structure - Modèles de la dynamique - Modèles d'implantation - Conclusion - Exercices - Chapitre 8. La spécification avec UML. Architecture logicielle - Processus de développement - Expression des besoins - L'analyse - Conception - Les outils - Chapitre 9. Compléments pour la modélisation UML. Le langage OCL - La pratique d'OCL - La cohérence entre les diagrammes - Conclusion - Exercices - Chapitre 10. Conclusion et perspectives