Posts

" French professor wins big award "

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

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