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

  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...

Retour de la région de la Montagne Noire.   Après la visite de Sorèze, nous sommes allés à Dourgne sur la tombe de la famille Abrial. Back from the Montagne Noire region. After visiting Sorèze, we went to Dourgne to see the Abrial family tomb  SOREZE    Sorèze est un splendide village avec son ancienne Abbaye-Ecole Sorèze is a splendid village with its former Abbey-School.    https://fr.wikipedia.org/wiki/Sor%C3%A8ze   https://fr.wikipedia.org/wiki/Abbaye_de_Sor%C3%A8ze     https://en.wikipedia.org/wiki/Hugues_Aufray https://fr.wikipedia.org/wiki/Jean-Paul_Auffray   Dans ce bâtiment se trouvait la cordonnerie. Aujourd'hui c'est un étonnant restaurant dans ces anciens locaux.  This building used to house the abbey's shoemaking workshop. Today, it's a stunning restaurant in these former premises.  L'abbaye-Ecole The Abbey-School  This Benedictine abbey, founded in 754 at the foot of the Black Mountain, owes its renown to the...

  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