Posts

Tributes to Jean-Raymond Abrial, FACS FACTS Issue 2026-1 January 2026

FACS FACTS Issue 2026-1 January 2026 Tributes to Jean-Raymond Abrial https://www.bcs.org/media/veppnllv/facs-jan26.pdf Tributes to Jean-Raymond Abrial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 by Jonathan P. Bowen and Henri Habrias Testimonies from Bernard Amy, researcher and mountaineer, and Jean-Louis and Odette Bernezat, mountain and Saharan guides . . . . . . . . . . . . . . . . . . . . ...............19 by Bernard Amy Jean-Raymond Abrial: A Rich Friendship . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 by Egon Börger Jean-Raymond Abrial, an appreciation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 by Michael Butler Mine Jean-Raymond . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  30 by Dominique Cansell What I owe to Jean-Raymond Abrial . . . ...
Post a Comment
Read more

Formal Methods: Whence and Whither, Jonathan Bowen

  https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter-landin-semantics-seminar Title: Formal Methods: Whence and Whither Abstract: Alan Turing arguably wrote the first paper on formal methods over 75 years ago.Since then, there have been claims and counterclaims about formal methods. Tool development has been slow but aided by Moore’s Law with the increasing power of computers. Although formal methods are not widespread in practical usage at a heavyweight level, their influence has crept into software engineering practice to the extent that they are no longer necessarily called formal methods in their use. In addition, in areas where safety and security are important, with the increasing use of computers in such applications, formal methods are a viable way to improve the reliability of such software-based systems. Their use in hardware, where a mistake can be very costly, is also important. This talk explores the journey of form...
Post a Comment
Read more

Bon passage de BIDEKA à BIDEKE

  https://jean-raymond-abrial.blogspot.com/2025/09/le-diner-de-gala-de-la-deuxieme.html https://jean-raymond-abrial.blogspot.com/2025/09/gala-dinner-for-second-international-b.html  
Post a Comment
Read more

SOCRATE, CLIO, ORCHIS-base: 30 Years of Publishing in Data Management at Grenoble (Ch. Jullien)

  https://aconit.org/spip/IMG/pdf/socrate_2025.pdf C. Jullien ACONIT November 2025 (rev of original doc. June 2021) 
Post a Comment
Read more

" Structures de données " Jean-Raymond Abrial, 1970-71, IMAG Grenoble

Image
  https://aconit.org/spip/IMG/pdf/jra_data_mgmt_1971.pdf   Merci à Christian Jullien qui fut étudiant de J. R. Abrial à l'IMAG à Grenoble.  " J'ai pris le temps de bien "peaufiner" ("re-pixelliser" certaines pages trop blanches,l'alcool s'étant évaporé au fil des 54 ans !). En vérifiant page à page, j'ai eu le temps d’apprécier la qualité de ce cours. Partant de notions simples sur la donnée  (les premières pages), on arrive aux principes d'accès partagé, de la multiprogrammation ... Il y a la rigueur et l'exemple concret. C'est fou ! Et par certains côtés je pense que cela vaut le Knuth. JRA aurait pu éditer...
Post a Comment
Read more

The Bubtangle

Image
 THE BUBTANGLE As a data processing practitioner, I have had it with incompatibili- ties. Compilers are incompatible, operating systems are incompati- ble, database managers are incompatible, and even the ‘*process”’ symbol (Yourdon/DeMarco Bubble vs. Gane/Sarson Rectangle) for structured analysis is incompatible. I can't do anything about the operating systems or compilcrs but I do have a suggestion about the ‘process’ symbol. I hereby propose the Bubtangle, a standard- ization of the structured analysis 'process' symbol. The Bubtangle offers the data processing community the following advantages: - It integrates the best features of both the bubble and the rectangle. - Iis an internationally recognized symbol. - It sounds better then recle. -It is upwardly compatible (unlike COBOL-80) and does not obso- lete the current investment in bubble/rectangle technology. - It would permit the use of bubbles or rectangles at lower levels of decomposition, thus keeping all existing ...
Post a Comment
Read more

Des cultures différentes dans une équipe de recherche (Jean-Raymond Abrial)

Image
 Extrait de la conférence de Jean-Raymond Abrial au Collège de France  https://www.college-de-france.fr/fr/agenda/seminaire/prouver-les-programmes-pourquoi-quand-comment/specification-construction-et-verification-de-programmes-le-parcours-une-pensee-scientifique-sur-une     "C'est très intéressant d'avoir des cultures différentes dans une équipe.   Je me rappelle que Thai Son Hoang  qu'on appelle Son, j'ai mis un an à la convaincre de me dire que j'avais tord. Parce que j'étais le prof et qu'on ne doit pas dire à un prof qu'il a tord. Alors que je peux écrire des bêtises et qu'il faut qu'on se corrige les uns les autres. Alors que Faradh, l'indien, était très différent. Alors lui était extrêmement lent, il ne fallait pas le pousser mais quand il avait compris alors c'était nickel. François était un suisse du Jura. Dans le folklore du Jura les Suisses du Jura sont considérés comme des pauvres types, mais François était super bon.  Ste...
Post a Comment
Read more