Posts

Sorèze et Dourgne

Image
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 innova...
Post a Comment
Read more

1e avril, Il y a 11 ans, J.-R. Abrial prononçait une conférence au Collège de France (2015)

  https://jean-raymond-abrial.blogspot.com/2025/08/conference-de-j-r-abrial-au-college-de.html    
Post a Comment
Read more

BBB 44

Image
 
Post a Comment
Read more

Pourquoi le nom de Rodin pour l'environnement de développement de la méthode Event-B ?, la réponse de Grok

  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 ...
Post a Comment
Read more

Record Handling, C.A.R. Hoare

Image
    https://archive.computerhistory.org/resources/text/Knuth_Don_X4100/PDF_index/k-9-pdf/k-9-u2293-Record-Handling-Hoare.pdf    
Post a Comment
Read more

In memoriam, Tony Hoare (January 11, 1934 / March 6, 2026)

   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...
Post a Comment
Read more

Who suggested the name Rodin for the software platform for Event-B?

Image
    "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 ...
Post a Comment
Read more