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

https://www.bcs.org/media/yd4ocehl/facs-jul25.pdf   FACS FACTS Issue 2025-2 July 2025 In memory of Jean-Raymond Abrial (1938–2025) Henri Habrias University of Nantes France Jonathan P. Bowen London South Bank University United Kingdom A note on Jean-Raymond Abrial by Jonathan Bowen   We have the sad news to report that Jean-Raymond Abrial passed away on 26 May 2025. Jean-Raymond was the progenitor and inspiration for not just one, but two major formal methods, namely the Z notation and the B-Method. He was a modest and independent researcher, admirably spanning theory and practice. He deserves much greater appreciation of his achievement than he has perhaps received during his lifetme. As a small tribute, I have updated Jean-Raymond’s Wikipedia page and created a new page [7] for his 1996 magnum opus, The B-Book [1], after realising that I reviewed the book in 1997 [3]. We include an appreciation and biographical summary of Jean-Raymond’s achievements below. For the future, we...

 

    https://www.youtube.com/watch?v=CGj85pVzRJs    

 Tous ceux qui ont lu les écrits de Jean-Raymond Abrial se souviennent qu'ils portaient pendant plusieurs années, "Consultant indépendant, 26 rue des plantes Paris 14" https://fr.wikipedia.org/wiki/Rue_des_Plantes_(Paris)     N o  26 : immeuble d'ateliers (1930) construit par l'architecte Stéphane Dessauer. — Jean Moulin et Lucien Legros , tous deux résistants, y vécurent. — Parmi les nombreux artistes qui y résidèrent sont cités Jean Carzou , Lucien Coutaud , Jean Even , Jean Lambert-Rucki qui y est mort en 1967 [ 2 ] , Katherine Librowicz , Édouard Pignon , Léopold Survage , Loulou de la Falaise et son mari Thadée Klossowski de Rola, fils du peintre Balthus , Max Ernst .   Guy Laffite nous a donné lors de la conférence 2025 de Nantes le digicode qu'il utilisait pour aller discuter avec Jean-Raymond  photos prise par JJP en août 2025 https://paris-promeneurs.com/ateliers-d-artistes-rue-des-plantes/   https://www.lejournaldesarts.fr/actual...

 

Introduction Henri Habrias henri.habrias@univ-nantes.fr La dernière chose qu'on trouve, en faisant un ouvrage, est de savoir celle qu'il faut mettre la première Blaise Pascal, Discours sur les passions de l'amour Mes premiers livres d'informatique furent le "Meyer et Baudoin" Méthodes de programmation, les livres de Mickaël Jackson, ceux de Jean-Dominique Warnier et le "Delobel Adiba", Bases de données et systèmes relationnels. Que j'ai vite complétés avec ceux de Tony Hoare (CSP) et de Robin Milner (CCS) dont j'appréciais la pédagogie. Je faisais alors ce qu'on appelait de l'"intégration de méthodes", en plus de la "méthodologie", étude des méthodes (1), terme qui était utilisé dans l'emploi du temps quand je suis arrivé à l'IUT de Nantes. La théorie naïve des ensembles - que je n'ai pas subie au lycée -(2)  était mise en œuvre dans LCP de Warnier. Quand je l'ai mise en avant auprès de certains col...

  27 mai 2025, Nantes, Cité des Congrès.    https://lefenetrou.blogspot.com/2025/05/bienvenue-js2025-de-nantes-universite.html Ce colloque a relié les travaux de J.R. Abrial, du langage LTR développé au Centre de programmation de la marine, à Paris, en passant par le SGBD Socrate développé à l’IMAG de Grenoble, sa participation à la définition du langage ADA, l’invention de la notation formelle Z, puis la méthode de spécification formelle B, suivie de Event B et du projet de plateforme logicielle Rodin.   https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025     Actes, compléments, enregistrement vidéo de la conférence Proceedings, supplements, presentations of the speakers, video recording of the conference    

  Bertrand Meyer Bertrand Meyer • 3e et + Premium • 3e et + Programmer || entrepreneur || author || language designer || researcher || software legal expert Programmer || entrepreneur || author || language designer || researcher || software legal expert 2 mois •   I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: - The "Data Semantics" model. - The two successive versions of the Z specification language. - The remarkable B method and tools. One of the most spectacular achievements of practical formal methods was the groundbr...