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

  https://jean-raymond-abrial.blogspot.com/2025/08/conference-de-j-r-abrial-au-college-de.html    

 

  Le nom "Rodin" pour la plateforme Event-B (développée sous la direction de J.-R. Abrial) provient principalement du projet européen RODIN (2004–2007). en.wikipedia.org RODIN est l’acronyme de "Rigorous Open Development Environment for Complex Systems" (Environnement de développement ouvert et rigoureux pour les systèmes complexes). C’est dans le cadre de ce projet IST-511599 financé par la Commission européenne que la plateforme open-source (basée sur Eclipse) a été initialement développée pour supporter la modélisation et la preuve en Event-B. eprints.soton.ac.uk Une fois le projet terminé, les outils ont conservé le nom « Rodin » car il avait « un certain cachet » (comme indiqué dans le Rodin User’s Handbook). La plateforme continue d’être maintenue et étendue dans des projets ultérieurs (DEPLOY, ADVANCE, etc.). Coïncidence intéressante Rodin est aussi le nom du célèbre sculpteur français Auguste Rodin (1840–1917), dont l’œuvre la plus célèbre est Le Penseur ...

    https://archive.computerhistory.org/resources/text/Knuth_Don_X4100/PDF_index/k-9-pdf/k-9-u2293-Record-Handling-Hoare.pdf    

   Jonathan Bowen m'a appris le décès de Tony Hoare jeudi 5 mars. Jonathan Bowen informed me of Tony Hoare's death on Thursday, March 5th.     https://en.wikipedia.org/wiki/Tony_Hoare   Tony Hoare est un de mes maîtres via ses écrits dont : Tony Hoare is one of my mentors through his writings, including:   Dahl, O.-J. ; Dijkstra, E. W. ; Hoare, C. A. R. (1972). Structured Programming . Academic Press . ISBN   978-0-12-200550-3 . OCLC   23937947 . C. A. R. Hoare (1985). Communicating Sequential Processes . Prentice Hall International Series in Computer Science. ISBN   978-0131532717 (hardback) or ISBN   978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ Archived 1 February 2021 at the Wayback Machine in PDF format.)     Je vous renvoie à  https://www.researchgate.net/profile/Jonathan-Bowen-2/publication/251422442_Oral_History_of_Sir_Antony_Hoare/links/6071ada14585150fe999e6de/Oral-History-of-Si...

    "Another period which brought Jean-Raymond and I into closer collaboration was the “Rodin” project. (An earlier project was called “Matisse” and I suggested using the sculptor’s name to mark that we were going to be solid. ) The EU-funded project was led by Newcastle and Sascha Romanovsky was happy for me to have a roving technical brief in this and the subsequent “Deploy” ([ 10 ]) projects. In the Rodin project, I took particular interest in Jean-Raymond’s tool building team in ETH. I visited often and was frankly surprised at how effective my “loner” friend was as a project manager: on arrival, I could get an immediate overview of the tool development by looking at the blackboard in their room in Clausiusstrasse. The “Rodin toolset” was crucial to the deserved acceptance of “Event-B”."    https://dl.acm.org/doi/full/10.1145/3772005   obituary Open access Share on   Remembering Jean-Raymond Abrial Author : Cliff ...