Errata du tome 4

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


ATTENTION : Cette page est appelée à être modifiée régulièrement. Consultez-la souvent. N'hésitez pas à en demander le rechargement.

La dernière modification de la page a été effectuée le 17 octobre 2006.


Des erreurs se sont malencontreusement glissées dans l'ouvrage. Un certain nombre, dont la correction fait appel à des caractères mathématiques, sont regroupées dans un seul fichier. Il est au format postcript. Les autres, plus "textuelles", sont répertoriées ci-après. Comme dans les autres ouvrages, elles sont présentées chapitre par chapitre, page par page.

Pour atteindre plus vite les errata d'un chapitre donné,
utilisez le tableau de liens ci-dessous.

01
02
03
04
A
B


Chapitre I- Le langage Z

Page 4 (énoncé de l'exercice 11.4, question b, 6e ligne)
- Une faute de frappe (étrange !) a transformé "occupant" en "accupant". La première forme est la bonne.

Page 35 (énoncé de l'exercice 11.28)
- La lisibilité de l'énoncé, sur la deuxième ligne du tableau, n'est pas claire. Il est préfèrable d'y ajouter une paire de parenthèses "autour" de la séquence correspondant à la concaténation de s2 et de s1.

Chapitre II- La spécification avec Z

Pas encore de coquilles détectées ou signalées !

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

Pas encore de coquilles détectées ou signalées !

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

Page 220, réponse a
La description des types contient deux fois le mot "contrat". Il faut supprimer celui qui se trouve entre "date_f" et "tarif_h_c".

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

Pas encore de coquilles détectées ou signalées !

Annexe B- Résumé de la notation Z

Pas encore de coquilles détectées ou signalées !


Vous en avez trouvé d'autres. Communiquez-les nous, en nous envoyant un message. Nous pourrons les répercuter à tous. Par avance, Merci !