Ouvrages publiés sur Z, Works published on Z

Ouvrages publiés sur Z
Henri Habrias
henri.habrias@univ-nantes.fr

 One of the first discoveries of the research by the Z team was
the necessity of separating small chunks of formal material by paragraphs of informal prose, explaining the relationship between theformal symbols and reality, and motivating the decisions that are cap-
tured by the formalisation. The drafting of the informal prose was
even more difficult to teach, learn and practice than the mastery of
mathematical notations and concepts.  Tony Hoare

1 En anglais

 
1.1 Bibliographie Z
 Dans Nicholls, ed., Z User Workshop, York, 1991, Springer-Verlag, 1992,
on trouvera une bibliographie en partie commentée de 299 références
d'articles et de livres sur Z. Bristish Computer Society (BCS) Institution
of Electrical Engineers ( EEE), Numéro Spécial sur Z, Software Engi-
neering Journal, vol n°4, n°1, January 1989. A noter que le nom de J.R.
Abrial n'y apparaît pas.

1.2 Revue et livres
 J.M. Spivey, Understanding Z : A Specification Language and its Formal
Semantics, Cambridge University Press, 1988
 A. Diller, Z, An Introduction To Formal Methods, Chichester, John Wiley,
1990
 M. Imperato, An Introduction to Z, Chartwell-Bratt Ltd, 1991
 David Lightfoot, Formal Specification Using Z, The Macmillan Press,
1991, deuxième édition en 2000 chez Palgrave, Basingstoke
 Monahan, Shaw, chapitre sur Z et l'histoire de Z dans McDermid, ed.
Software Engineer's Reference Book, Butterwoorth-Heinemann, 1991
 Ben Potter, Jane Sinclair, David Till, An Introduction to Formal Speci-
fication and Z, Prentice-Hall, 1991
 J. McDermid, P. Whysall, Formal specification and implementation using
Z, Prentice-Hall, 1992
 Woodsworth, Software Development with Z, Addison Weslay, 1992
 I. Hayes (ed), Specication Case Studies, Second Edition, Prentice-Hall,
1994 La notation dans la dernière édition est conforme à celle de Spivey
 S. Stepney, R. Barden, D.Cooper (eds), Object Orientation in Z, Springer-
Verlag, 1992
 R. Barden, S. Stepney, D.Cooper, Z In Practice, BCS Practitopner Series,
Prentice-Hall, 1994
 J.P. Bowen, Formal Specication and Documentation Using Z : A Case
Study Approach, International Thomson Computer Press, London, 1996
 J.C.P. Woodcock, J. Davies, Using Z : Specication, Proof and Rene-
ment, Prentice-Hall International Series in Computer Science, 1996
 J. Jacky, The Way of Z : Practical Programming with Formal Methods,
Cambridge University Press, 1997
 J. Derrick, E.A. Boiten, Renement in Z and Object-Z, Formal Ap-
proaches to Computing and Information Technology series (FACIT),
Springer-Verlag, 2001
 ISO/IEC Information Technology Z Formal Specication Notation - Syn-
tax, Type System and Semantics, ISO/IEC 13568 :2003, 2002

2 En français
 La spécification formelle avec Z, David Lightfoot, traduc. fr, complétée
et corrigée, H. Habrias, Teknea, 1994
 La notation Z, J.M. Spivey, Traduction de Michel Lemoine, Masson,
Prentice-Hall, 1994, version revue et corrigée de la seconde édition du
livre de Mike Spivey. Comprend quelques nouvelles petites sections.
 Pascal André, Alain Vailly, Spécification des logiciels. Deux exemples
pratiques récents : Z et UML, Technosup, Ellipses, 2001
 Pascal André, Alain Vailly, Exercices corrigés en langage Z, Les spéci-
fications formelles par l'exemple, Technosup, Ellipses, 2004