Sommaire

On trouvera ci-après le sommaire de l'ouvrage Exercices corrigés en langage Z ; Les spécifications formelles par l'exemple, co-écrit avec Pascal ANDRE, paru aux Editions Ellipses, dans la collection TECHNOSUP.


Il comprend les éléments suivants :

Chapitre I- Le langage Z

1.1 Types et ensembles
1.2 Ensembles et prédicats
1.3 Calculs des propositions et des prédicats
1.4 Relations
1.5 Fonctions
1.6 Multi-ensembles et séquence
1.7 Exercices de synthèse
1.8 Conclusion

Chapitre II- La spécification avec Z

2.1 Calcul de schémas
2.2 Types de données
2.3 Spécification
2.4 Raffinage
2.5 Exercices de synthèse
2.6 Vérification avec Z/EVES

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

3.1 Variations du cas facturation

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

4.1 Traduction de modèles E-A-P vers Z
4.2 Spécification via Merise
4.3 Spécification de la BU
4.4 Promotion
4.5 Exercices de synthèse

Conclusion

Annexe A- Compléments d'énoncés

Annexe B- Résumé de la notation Z


Cet ouvrage est la suite d'un ouvrage, intitulées Spécification des logiciels ; Deux exemples de pratiques récentes, Z et UML, paru aux Editions Ellipses, dans la collection TECHNOSUPet qui comprend les éléments suivants :

Partie I- Spécification formelle avec Z

Chapitre I- Introduction aux spécifications formelles
Chapitre II- Le langage Z
Chapitre III- La spécification avec Z
Chapitre IV- La spécification avec Z : la facturation de commandes
Chapitre V- Des compléments pour la modélisation avec Z

Partie II- Modélisation objet avec UML

Chapitre VI- Introduction au développement à objets
Chapitre VII- La notation UML
Chapitre VIII- La spécification avec UML
Chapitre IX- Des compléments pour la modélisation avec UML
Chapitre X- Conclusion et perspectives