Jean-Raymond Abrial, Z, Socrate, B, Event-B, Rodin

  https://aconit.org/spip/IMG/pdf/socrate_2025.pdf C. Jullien ACONIT November 2025 (rev of original doc. June 2021) 

  https://aconit.org/spip/IMG/pdf/jra_data_mgmt_1971.pdf   Merci à Christian Jullien qui fut étudiant de J. R. Abrial à l'IMAG à Grenoble.  " J'ai pris le temps de bien "peaufiner" ("re-pixelliser" certaines pages trop blanches,l'alcool s'étant évaporé au fil des 54 ans !). En vérifiant page à page, j'ai eu le temps d’apprécier la qualité de ce cours. Partant de notions simples sur la donnée  (les premières pages), on arrive aux principes d'accès partagé, de la multiprogrammation ... Il y a la rigueur et l'exemple concret. C'est fou ! Et par certains côtés je pense que cela vaut le Knuth. JRA aurait pu éditer...

 THE BUBTANGLE As a data processing practitioner, I have had it with incompatibili- ties. Compilers are incompatible, operating systems are incompati- ble, database managers are incompatible, and even the ‘*process”’ symbol (Yourdon/DeMarco Bubble vs. Gane/Sarson Rectangle) for structured analysis is incompatible. I can't do anything about the operating systems or compilcrs but I do have a suggestion about the ‘process’ symbol. I hereby propose the Bubtangle, a standard- ization of the structured analysis 'process' symbol. The Bubtangle offers the data processing community the following advantages: - It integrates the best features of both the bubble and the rectangle. - Iis an internationally recognized symbol. - It sounds better then recle. -It is upwardly compatible (unlike COBOL-80) and does not obso- lete the current investment in bubble/rectangle technology. - It would permit the use of bubbles or rectangles at lower levels of decomposition, thus keeping all existing ...

 Extrait de la conférence de Jean-Raymond Abrial au Collège de France  https://www.college-de-france.fr/fr/agenda/seminaire/prouver-les-programmes-pourquoi-quand-comment/specification-construction-et-verification-de-programmes-le-parcours-une-pensee-scientifique-sur-une     "C'est très intéressant d'avoir des cultures différentes dans une équipe.   Je me rappelle que Thai Son Hoang  qu'on appelle Son, j'ai mis un an à la convaincre de me dire que j'avais tord. Parce que j'étais le prof et qu'on ne doit pas dire à un prof qu'il a tord. Alors que je peux écrire des bêtises et qu'il faut qu'on se corrige les uns les autres. Alors que Faradh, l'indien, était très différent. Alors lui était extrêmement lent, il ne fallait pas le pousser mais quand il avait compris alors c'était nickel. François était un suisse du Jura. Dans le folklore du Jura les Suisses du Jura sont considérés comme des pauvres types, mais François était super bon.  Ste...

https://hal.univ-grenoble-alpes.fr/hal-05150953 Jean-Raymond Abrial. DATA SEMANTICS. Data Base Management 1974 , IFIP, Apr 1974, Cargèse (Corsica), France. 60 p. ⟨hal-05150953⟩  Conclusion The model we have discribed in this paper is not a language nor a new generalized DBMS proposal. We could merely consider it as a specification tool that could (?) help people in writing programs. In this sens, this paper belongs to the "structured programming" area more than to "Data Base" litterature. "  Conclusion  Le modèle que nous avons décrit dans cet article n'est ni un langage ni une nouvelle proposition de SGBD généralisé. Nous pourrions simplement le considérer comme un outil de spécification qui pourrait (?) aider les personnes à écrire des programmes. En ce sens, cet article appartient davantage au domaine de la « programmation structurée » qu'à la littérature des « bases de données ». "  

  FACS FACTS Issue 202 5-2, July 2025 : https://www.bcs.org/media/yd4ocehl/facs-jul25.pdf The general FACS FACTS newsletter link is here: https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/ Note that FACS FACTS   back issues can be found under: https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/back-issues-of-facs-facts/ A tip: if you wish to search FACS FACTS newsletters and other FACS PDF documents in the archive on the BCS website specifically, try adding the following as part of a Google search: site: bcs.org filetype:pdf facs

  https://www.math.pku.edu.cn/teachers/jrabrial/course/A_sld_seq.pdf see also  https://archiv.infsec.ethz.ch/intranet_secured/Y/Q/seqprog-single.pdf