Programmation statique, Le Langage Z Extrait du livre Méthodes de programmation, Bertrand Meyer, Claude Baudoin, 1978

 https://velo.wiki.ls2n.fr/lib/exe/fetch.php?media=velo:programmation_statique_z_-_bm.pdf

Static Programming, The Z Language (Excerpt from the book Programming Methods) 

Programmation statique, Le Langage Z


Extrait du livre Méthodes de programmation, Bertrand Meyer, Claude Baudoin, Collection de la Direction des Études et Recherches d’Électricité de France, Eyrolles, 1978, ISBN-10 : 221201581X
"Méthodes de Programmation (Programming Methodology), Eyrolles, Paris, 1978; third revised edition, 661 pages,
1984. Translation: Russian (Mir Publishing )

 

Histoire de ce livre par B. Meyer (https://se.inf.ethz.ch/old/people/meyer/publications/)
" We wrote this book fresh out of school and managed to convince the publisher to include everything (other publishers wanted us to trim it down to 250 pages). It is a compendium of programming methodology, programming techniques, fundamental algorithms and data structures. It emphasizes program correctness, through assertion techniques, and software architecture. The chapter on programming methodology contains the first ever published description of the Z specification language anywhere (as far as I know), in a very early form. The book was extremely successful in France, both as a textbook and for engineers in industry; incredibly, it still seems to be in print.
The Russian translation was also widely circulated and I still meet people from Russia who tell me this is where they learned programming. There never was an English translation: I accepted Prentice Hall's and Tony Hoare's suggestion that I do the translation myself — a huge mistake, as I started rewriting the book instead of translating it, and never finished, although that effort, titled Applied Programming Methodology, fed later work. In particular the object-oriented pseudocode that I used throughout, an extension of the notation in MÈthodes de Programmation, led directly to Eiffel. "

Nota : " La description de Z donnée ici est sommaire et partielle; nous avons pris quelques libertés avec les notations d'Abrial pour assurer la compatibilité avec celles de cet ouvrage." Meyer, Baudoin
 


Remerciements : Nous remercions Bertrand Meyer qui a autorisé cette reproduction et Marc Guyomard qui a conservé ses ouvrages d'informatique.

Claude Delobel et Michel Adiba en 1983 publieront Bases de données et systèmes relationnels, Dunod. Ils y utilisent la notation Z d'origine sous le nom de "modèle relationnel binaire".


Les sources de Z en 1980


J.R. Abrial, Data Semantics in Data Base Management (Klimbie, Koffeman, eds), North-Holland, 1974, pp. 1-59
J.R. Abrial, Manuel du langage Z. IMAG, Grenoble, 1977
J.R. Abrial, Manuel du langage Z et mÈcanismes de transformation. Notes internes Z/1 ‡ Z/15 non publiées, EDF.
notes Z2, Z3, Z7 (mars 1977), Z13, Z14 et Z15 (novembre 1977)
J.R. Abrial, B. Meyer, Notes de cours sur la spécification formelle ; Ètude de cas (un système de Course notes on formal specification; case study (Système d'annuaire automatisé), …Ecole d'été de l'INRIA-EDF-CEA sur la méthodologie de la programmation, Le-Bréau-sans-Nappe, France, Juillet 1978
J-R Abrial (consultant), S.A. Schuman (Intermetrics), B. Meyer (EDF), ´ Specification Language ª, Proceedings of Summer Scholl on Program Construction, Belfast, sept. 1979.
J-R Abrial, ´ The specification language Z : syntax and “semantics” ª, Oxford University Computing Laboratory, Programming Research Group, avril 1980.


Merci J.P. Giraudin pour cette bibliographie

Comments

Post a Comment

Popular posts from this blog

Ce que je dois à Jean-Raymond Abrial

Image
 Quand ai-je découvert Jean-Raymond Abrial ?  Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics . Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ? Ce qui est sûr c'est que j'ai découvert Z dans le Meyer Baudoin, Méthodes de Programmation chez Eyrolles, puis dans le Delobel Adiba, Bases de données chez Dunod. Quand j'ai débuté en "informatique de gestion" (en I.U.T "Informatique") je trouvais que ce que je lisais était bien peu "scientifique". "Information" "donnée" "rubrique" etc.  Pour "donnée" j'ai appris les théorèmes de Jean-Louis Rigal qui était prof à l'Université Dauphine. Facile : Th1, "Une donnée n'est pas donnée" car c'est le résultat d'une abstraction, Th 2. "Une donnée n'est pas donnée" car une fois donnée, ce n'est...
Read more

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

On B, Jean-Raymond Abrial

 Cet article date du temps où Jean-Raymond Abrial habitait rue des plantes à Paris. Digilog était deveni Steria, mais pas encore Clearsy. Donc d'avant 2001. On B Jean-Raymond Abrial Consultant, 26, rue des Plantes, 75014, Paris. abrial@steria.fr In  the B-Book [Abr96], an introduction entitled “What is B ?” presents it in a few pages. There is no point in reproducing this introduction here. There is, however, clearly a need to have in this book a sort of informal presentation of B complementing that of the B-Book for those readers who are not familiar with this approach. This is the purpose of this short text, where the emphasis will be put on the question of the development process with B. At the end of the text, I will also cover some more general problems concerning B (tool, education, research, future). B is o “Debugger”. The aim of B is very practical. Its ambition is to provide to industr...
Read more