NOTE: NOT UP TO DATE

Virtual Library Formal Methods La notation Z

Z en Français

Jean-Raymond Abrial, a Frenchman, was the progenitor of the Z notation, setting the seeds while visiting the Programming Research Group at the Oxford University Computing Laboratory.

Il existe un Z User Group qui produit une lettre électronique appelée Z FORUM accessible en envoyant un message à zforum-request@comlab.ox.ac.uk.

Z

Vingt-sixière et dernière lettre de l'alphabet français, servant à noter la consonne constrictive sonore [z].
Symbole représentant l'ensemble des entiers relatifs
Lettre qui désigne en géométrie la 3e coordonnée
Chromosome sexuel commun aux deux sexes.

-- Larousse en 5 volumes (1990)

Notation formelle pour la spécification des systèmes informatiques, basée sur l'algèbre des ensembles et le calcul des prédicats
-- Dictionnaire d'informatique, V. Illingworth (ed.), Oxford University Press, 1990.

Books

La Spécification formelle avec Z, David Lightfoot. Macmillan, Teknea, Toulouse, 1994.
Translation of Formal Specifications Using Z, Macmillan, 1991, with corrections and an English/French French/English lexis.
ISBN 2-87717-038-1. Price: 140 French Francs.

Introduction à la Spécification, Henri Habrias. Masson, Paris, 1993.
ISBN: 2-225-82768-0. Includes chapters on Z and me too et VDM.
Email: Habrias@iut-natnes.univ-nantes.fr (Prof. Henri Habrias).

Video

An introduction to the B method.
Video tutorial presented in French by J.-R. Abrial.
6 1-hour tapes, VHS-SECAM format.
Orders: Teknea, 203 rue Fronton, 31200 Toulouse, France.
Fax: +33 61 57 47 11.
Price: 2500 French Francs (including postage).

lingua franca

a language adopted as a common language between speakers whose native languages are different.
a system for mutual understanding.
hist. a mixture of Italian with French, Greek, Arabic, and Spanish, used in the Levant.

-- The Concise Oxford Dictionary, 8th edition, Clarendon Press, Oxford, 1990.

Z aims to be a lingua franca for software software engineering!

If any bilingual French/English speaker would like to take over the maintenance of this page,

translate all this page into French, supply any relevant material (preferably in French), or if you would like to start a similar page for any other language, please contact Jonathan Bowen.

Part of the Z archive.

Maintained by Jonathan Bowen.