Sommaire

On trouvera ci-après le sommaire de l'ouvrage Spécification des logiciels ; Deux exemples de pratiques récentes, Z et UML, co-écrit avec Pascal ANDRE, paru aux Editions Ellipses, dans la collection TECHNOSUP.


Il comprend les éléments suivants :

Partie I- Spécification formelle avec Z

Chapitre 1- Introduction aux spécifications formelles

1.1 Introduction
1.2 Les systèmes formels
1.3 La spécification formelle
1.4 L'utilisation des méthodes formelles
1.5 Une classification des méthodes formelles
1.6 Les spécifications par modèle abstrait
1.7 Les spécifications algébriques
1.8 Les spécifications mixtes
1.9 Conclusion

Chapitre 2- Le langage Z

2.1 Introduction
2.2 Le calcul des propositions
2.3 Un peu plus sur la preuve : le raisonnement
2.4 Le calcul des prédicats
2.5 La théorie des ensembles
2.6 Les relations
2.7 Les fonctions
2.8 Les multi-ensembles
2.9 Les séquences
2.10 Conclusion
2.11 Exercices

Chapitre 3- La spécification avec Z

3.1 Introduction
3.2 La structuration des spécifications
3.3 La démarche de spécification
3.4 La spécification de l'exemple de l'hopital
3.5 La validation
3.6 La robustesse
3.7 Le raffinage
3.8 Un retour sur l'exemple introductif
3.9 Les outils
3.10 Conclusion
3.11 Exercices

Chapitre 4- La spécification avec Z : la facturation de commandes

4.1 Introduction
4.2 Le cas d'étude : Facturation de commandes
4.3 La spécification de l'état
4.4 La spécification de l'état initial
4.5 La spécification des opérations
4.6 La validation
4.7 Une spécification avec des fonctions
4.8 Le raffinage
4.9 Conclusion
4.10 Exercices

Chapitre 5- Des compléments pour la modélisation avec Z

5.1 Introduction
5.2 La traduction du formalisme E-A-P en Z
5.3 La modélisation avec Z : la bibliothèque
5.4 L'interprétation des préconditions
5.5 La promotion
5.6 Z et les objets
5.7 Conclusion
5.8 Exercices

Partie II- Modélisation objet avec UML

Chapitre 6- Introduction au développement à objets

6.1 Introduction
6.2 L'approche à objets
6.3 L'analyse et la conception à objets
6.4 L'utilisation des méthodes à objets
6.5 Une classification des méthodes à objets
6.6 La méthode OMT
6.7 La méthode BON
6.8 Conclusion

Chapitre 7- La notation UML

7.1 Introduction
7.2 Les éléments généraux
7.3 Les modèles d'approche
7.4 Les modèles de structure
7.5 Les modèles de la dynamique
7.6 Les modèles d'implantation
7.7 Conclusion
7.8 Exercices

Chapitre 8- La spécification avec UML

8.1 Introduction
8.2 L'architecture logicielle
8.3 Le processus de développement
8.4 L'expression du besoin
8.5 L'analyse
8.6 La conception
8.7 La conception détaillée
8.8 Les outils
8.9 Conclusion
8.10 Exercices

Chapitre 9- Des compléments pour la modélisation avec UML

9.1 Introduction
9.2 Le langage OCL
9.3 La pratique d'OCL
9.4 La cohérence entre les diagrammes
9.5 Conclusion
9.6 Exercices

Chapitre 10- Conclusion et perspectives


Cet ouvrage est la suite d'un ouvrage intitulé Conception des systèmes d'information ; Panorama des méthodes et des techniques, paru en janvier 2001, aux Editions Ellipses, dans la collection Technosup. Cet ouvrage comprend les éléments suivants :

Partie I- Le développement du logiciel

Chapitre 1- Introduction au développement du logiciel

Partie II- La modélisation de données

Chapitre 2- Le modèle Entités-Associations-Propriétés
Chapitre 3- Le modèle relationnel
Chapitre 4- Un peu de méthodologie sur les données

Partie III- La modélisation de comportements

Chapitre 5- Les automates
Chapitre 6- Les Réseaux de PETRI
Chapitre 7- Un peu de méthodologie sur le comportement

Partie IV- La modélisation de traitements

Chapitre 8- Le modèle des Flots de Données
Chapitre 9- La modélisation des traitements avec Merise
Chapitre 10- Validation et vérification de la modélisation

Conclusion