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

   Introduction Henri Habrias henri.habrias@univ-nantes.fr The last thing you find when writing a book is knowing which one to put first . Blaise Pascal, Discourse on the Passions of Love My first computer science books were Meyer and Baudoin's Programming Methods, Mickaël Jackson's books, Jean-Dominique Warnier's books, and Delobel Adiba's Databases and Relational Systems. I quickly supplemented these with those by Tony Hoare (CSP) and Robin Milner (CCS), whose teaching methods I appreciated. At that time, I was doing what was called "method integration," in addition to "methodology," the study of methods (1), a term that was used in the timetable when I arrived at the IUT of Nantes. Naive set theory—which I didn't experience in high school—(2) was implemented in Warnier's LCP. When I introduced it to some colleagues trained in computer science, the reception wasn't warm. J.R. Abrial recounts the same thing in his lecture at the Collège ...

  https://catalogue.bnf.fr/ark:/12148/cb38384589k Notice bibliographique Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation + Image animée : vidéo Titre(s) : Logique et preuve [Multimédia multisupport] : méthode B / Jean-Raymond Abrial, aut. ; Henri Habrias, réal. Publication : Marseille : Abrial, Jean-Raymond, 1997 (cop.) Éditeur : Abrial, Jean-Raymond (1938-....) Description matérielle : 1 brochure (26-49-26 p.) : ill., couv. ill. en coul. ; 30 cm 3 cass. vidéo (VHS) (59 min, 46 min, 18 min) : coul., SECAM Note(s) : Cop. 1997 Auteur(s) : Abrial, Jean-Raymond (1938-....). Auteur du texte Habrias, Henri. Réalisateur Sujet(s) : Mathématiques Thème(s) : Sciences Genre : non fiction Typologie : enseignement supérieur Identifiants, prix et caractéristiques : ISBN 2-906082-27-9 Notice n° : FRBNF38384589  Localiser ce document (1 Exemplaire) 1 Tolbiac - Rez-de-jardin - magasin - Salle P 8 MU-18551 support : multisupport  (c) H. Habrias,...

  https://www.uga-editions.com/menu-principal/collections-et-revues/collections/promethee/du-big-data-a-l-ia-1439009.kjsp Notre monde est devenu numérique, et les données, un point central à toute activité humaine et un bien de consommation avec une véritable valeur marchande. Essentielles pour entraîner les intelligences artificielles, elles fournissent désormais la matière première des algorithmes de demain. Depuis six décennies, la communauté grenobloise de l’IMAG (Informatique et Mathématiques Appliquées de Grenoble) joue un rôle de premier plan dans le domaine du traitement des données, des informations et des connaissances : ouverture de nouveaux domaines de recherches, création de formations adaptées, coopérations innovantes avec des partenaires industriels européens et internationaux, etc. Cet ouvrage se veut à la fois témoin de cette histoire riche et complexe, et porteur des travaux menés actuellement dans des domaines aussi variés que le web des données et de...

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    

  henri.habrias@univ-nantes.fr  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/   ht...