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

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