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.