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, regroupés 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.