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

 Spécification formelle et génération automatique de programmes : le système Descartes Jean-Luc Dormoy, Bruno Ginoux, Jean-YvesLucas, Laurent Pierre1, Claudia Jimenez-Dominguez2 Electricité de France Direction des Etudes et Recherches 1, avenue du Général de Gaulle 92141 CLAMART Cedex Rene.Descartes@der.edfgdf.fr 1 DER-EDF, IMA/TIEM/GLIP, 1 avenue du Général de Gaulle 92141 CLAMART CEDEX 2 Société INFORAMA  https://dormoy.org/JLuc/Papers/GL97.pdf     I just searched for the publications of EDF's DER-IMA (Department of Engineering and Innovation - Applied Mathematics). And I found Descartes and Jean-Luc Dormoy. I had gone to Clamart to meet him, and he was at the Nantes B conference. I'm updating the blog.     Why wasn't this software more widely known and disseminated? Today it's difficult to find online. It's like the DER-IMA publications on Z by J.-R. Abrial. And the books by Meyer-Baudoin and Delobel-Adiba, in which Z is used, are no longer in p...

  https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/ 16 March 2026  

 submitted to IEEE Annals of the History of Computing     https://arxiv.org/abs/2604.07353

  https://se.inf.ethz.ch/~meyer/publications/specification/langages_specif.pdf

  https://se.inf.ethz.ch/~meyer/publications/languages/Z_original.pdf  

  https://velo.wiki.ls2n.fr/lib/exe/fetch.php?media=velo:7-habrias-projets_de_recherche_b.pdf En doutant, nous nous mettons en recherche, et en cherchant, nous trouvons la vérité. Pierre Abélard, le philosophe du Pallet   Sommaire   Pojet MIST, Measurable Improvement with Specification Techniques   "Measurable Improvement in Specification Techniques (MIST) is ESSI ap- plication experiment 10228. MIST is a 16 month project involving three com- panies :GEC-Marconi Avionics, who are the prime user ; Praxis, who are the main subcontractor, acting as an independent reviewer ; and B-Core (UK),who provide the tools used and consultancy. The main aims of MIST are to develop procedures for using formal methods with current methods on safety critical avionics software and to collect metrics to enable reasonable estimates for the use of these procedures" Jonathan Draper, Mission Avionics Division, GEC-Marconi Avionics   Projet de la Commission Européenne  ...

  https://usa.chinadaily.com.cn/epaper/2017-01/20/content_28011407.htm French professor wins big award By Zhang Kun | China Daily USA | Updated: 2017-01-20 12:28 Professor Jean-Raymond Abrial was on Jan 9 awarded China's international science and technology cooperation award for his work on developing a software that is vital to the operations of Line 17, the city's only unmanned metro line that will be launched this year. The software being used in Shanghai was jointly developed by the 78-year-old Frenchman and the School of Computer Science and Software Engineering (SCSSE) at East China Normal University. Abrial, the only foreign scientist from Shanghai to win the award, is the creator of B-Method, a software development method that has been used to design safety-critical system applications for metro networks in more than 20 cities all over the world. B-Method was also critical to the design of Line 14 in Paris, the first unmanned line in France which w...