Posts

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

" The vision of fire as an entity, an object with its properties blocked scientific invention "

  "If fire is regarded as a thing - for the pre-Socratics it is one of the 4 elements - and not as a reaction between several things, we cannot understand anything. Now observation presents fire to us as a thing." The vision of fire as an entity, an object with its properties blocked scientific invention. It was in 1785 that Lavoisier destroyed the substantial conception of fire and the phlogiston theory, by carrying out the analysis and synthesis of water. "Jouary J.P. 2002 Enseigner le vérité ? Essai sur les sciences et leurs représentations. L ’Harmattan
Post a Comment
Read more

"La vision du feu comme une entité, un objet avec ses propriétés a bloqué l’invention scientifique."

” Si le feu est regardé comme une chose - pour les présocratiques il est un des 4 éléments -, et non comme une réaction entre plusieurs choses, on ne peut rien comprendre. Or l’observation nous présente le feu comme une chose ”. La vision du feu comme une entité, un objet avec ses propriétés a bloqué l’invention scientifique. C’est en 1785 que Lavoisier a détruit la conception substantielle du feu et la théorie phlogistique, en réalisant l ’analyse et la synthèse de l ’eau. " Jouary J.P. 2002 Enseigner le vérité ? Essai sur les sciences et leurs représentations. L ’Harmattan    
Post a Comment
Read more

Extracts from the archives of the APCB (Association de Pilotage des Conférences internationales)

Image
 Voici quelques extraits des archives de l'association APCB, Association de Pilotage des Conférences internationales B. On y verra le passage des conférences B aux conférences BZ. Maintenant nous avons ABZ. Here are some excerpts from the archives of the APCB association, Association de Pilotage des Conférences internationales B. We will see the transition from the B conferences to the BZ conferences. Now we have ABZ. La déclaration de l'association au Journal Officiel de la République Française  Dépôt légal d'actes de conférences Vers la première conférence BZ  Une des compositions de APCB  
Post a Comment
Read more