Différences

Ci-dessous, les différences entre deux révisions de la page.

--- velo:js2025:post [2025/07/25 11:01]
aelosweb
+++ velo:js2025:post [2025/07/25 11:08] (Version actuelle)
aelosweb
@@ Ligne 1: / Ligne 1: @@
-Ce que je dois à Jean-Raymond Abrial
+====== Ce que je dois à Jean-Raymond Abrial ======
 July 24, 2025
 [[https://jean-raymond-abrial.blogspot.com/2025/07/ce-que-je-dois-jean-raymond-abrial.html|source ]]
-====== Quand ai-je découvert Jean-Raymond Abrial ? ======
+== Quand ai-je découvert Jean-Raymond Abrial ? ==
 Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article **//Data Semantics//**. Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ?
@@ Ligne 84: / Ligne 85: @@
 En **1997**, le département informatique de l'IUT de Nantes a publié le livre "//La Méthode B, Concepts, Démarche, Exemples d'applications//" de Karl Emeriau, ISBN 2-906082-26-0, rédigé suite à son mémoire d'ingénieur CNAM. Karl a été autodidacte en B grâce au B-Book. Toutes les applications sont des applications dites "de **gestion**" réalisées avec l'Atelier B jusqu'au code C généré automatiquement.
-**1997** c'est aussi l'année de la 1st IEEE International Conference on Formal Engineering Methods qui a eu lieu à Hiroshima (M.G. Hinchey, Shaoying Liu, Eds).  J'avais envoyé un papier rédigé avec un collègue "Formal Specification of Dynamic Constraints with the B Method". Je savais que nous avions un point qui posait problème (un théorème à prouver il me semble). Un jour j'ai reçu un appel de Jean-Raymond. J'étais honteux. Je savais qu'il était membre du comité de programme. Immédiatement je lui ai dit, je n'aurais pas dû envoyer le papier. Il a un problème. Mais Jean-Raymond m'a dit "je t'appelle pour te dire qu'il suffit de ..." , une toute petite correction, mais essentielle ! J'ai remercié un "reviewer" dans l'article en tout anonymat. J'ai dû annuler mon déplacement à la "dernière minute". J'aurais retrouvé au Japon, plusieurs amis anglais que je me suis fait via Z puis B.
+**1997** c'est aussi l'année de la 1st IEEE International Conference on Formal Engineering Methods qui a eu lieu à Hiroshima (M.G. Hinchey, Shaoying Liu, Eds).  J'avais envoyé un papier rédigé avec un collègue "//Formal Specification of Dynamic Constraints with the B Method//". Je savais que nous avions un point qui posait problème (un théorème à prouver il me semble). Un jour j'ai reçu un appel de Jean-Raymond. J'étais honteux. Je savais qu'il était membre du comité de programme. Immédiatement je lui ai dit, je n'aurais pas dû envoyer le papier. Il a un problème. Mais Jean-Raymond m'a dit "//je t'appelle pour te dire qu'il suffit de ...//" , une toute petite correction, mais essentielle ! J'ai remercié un "reviewer" dans l'article en tout anonymat. J'ai dû annuler mon déplacement à la "dernière minute". J'aurais retrouvé au Japon, plusieurs amis anglais que je me suis fait via Z puis B.
 En **1998**, Claude Boksenbaum organisera la deuxième conférence B à Montpellier en avril.  Didier Bert sera l'éditeur des actes, les premiers dans les LNCS de Springer-Verlag.
@@ Ligne 90: / Ligne 91: @@
 En **2000** ce sera la première conférence des utilisateurs de B et Z à York en septembre. Les éditeurs seront Jonathan Bowen, Andy Galloway et Steve King.
-En **2001**, je publierai "Spécification formelle avec B", Hermes Lavoisier,  ISBN 2-7463-0302-2, avec la collaboration de Jean-Yves Lafaye et Marie-Laure Potet, avec un Avant-propos de Fernando Mejia (Responsable Méthodes et Outils de Développement Logiciel, Alstom Transport Signalisation) qui commence ainsi :
+En **2001**, je publierai "//Spécification formelle avec B//", Hermes Lavoisier,  ISBN 2-7463-0302-2, avec la collaboration de Jean-Yves Lafaye et Marie-Laure Potet, avec un Avant-propos de Fernando Mejia (Responsable Méthodes et Outils de Développement Logiciel, Alstom Transport Signalisation) qui commence ainsi :
-"Je faisais depuis quelques temps des expériences d'utilisation de méthodes algébriques de spécification, dans ce qui s'appelait à l'époque Bull Systèmes, lorsque j'ai découvert en 1985 ou 1986, à l'occasion d'une formation données par Jean-Raymond Abrial, ce quelques années plus tard deviendrait le langage et la méthode B. Et ce fut un véritable coup de foudre ! "
+"//Je faisais depuis quelques temps des expériences d'utilisation de méthodes algébriques de spécification, dans ce qui s'appelait à l'époque Bull Systèmes, lorsque j'ai découvert en 1985 ou 1986, à l'occasion d'une formation données par Jean-Raymond Abrial, ce quelques années plus tard deviendrait le langage et la méthode B. Et ce fut un véritable coup de foudre !//"
 Il nous raconte l'histoire de B qu'il a vécue.
-En 2003 ce sera la 3e conférence des utilisateurs de Z et B à Turku en Finlande. Turku où exerçait  Ralph-Johan Back à Abo University qui est souvent cité dans les articles de Jean-Raymond. C'était en juin, époque où les nuits ne sont pas sombres.A noter que c'est une université de langue suédoise. Bien sûr nous y avons retrouvé Jean-Raymond et bien d'autres.
+En **2003** ce sera la 3e conférence des utilisateurs de Z et B à Turku en Finlande. Turku où exerçait  Ralph-Johan Back à Abo University qui est souvent cité dans les articles de Jean-Raymond. C'était en juin, époque où les nuits ne sont pas sombres.A noter que c'est une université de langue suédoise. Bien sûr nous y avons retrouvé Jean-Raymond et bien d'autres.
 J'ai conservé les échanges sur le B Forum piloté par l'INRETS forum B de 2004 à 2008. Voici les noms des participants dont j'ai conservé les messages :  Michael Leuschel (HH Univ. Dusseldorf, Samuel Colin (Loria), Simão Melo de Sousa (Universidade da Beira Interior), Guy Vidal-Naquet (Supelec), Georges Mariano (INRETS), Marc Guyomard (Enssatt, Lannion), Steve Dunne (Univ. Teesside), Dominique Cansell (Loria), Daniel Zingaro (McMaster Univ.), Ken Robinson (UNSW Australia), Ib Holm Sorensen (BB-Core), Elisabeth Ball (Cse Sotton), Jeremy L. Jacob (Univ. York), Yann Zimmermann (Keesda),
-Début du projet Rodin avec Laurent Voisin. Jean-Raymond est prof à l’ETH Zurich jusqu'en 2009 où il travaillera sur Rodin avec Laurent Voisin et d'autres. Il en parle dans sa conférence au Collège de France.
+**2004** Début du projet Rodin avec Laurent Voisin. Jean-Raymond est prof à l’ETH Zurich jusqu'en 2009 où il travaillera sur Rodin avec Laurent Voisin et d'autres. Il en parle dans sa conférence au Collège de France.
-En octobre je partirai en retraite. Et organiserai la conférence  The B method, from research to teaching où sera Jean-Raymond.
-En 2009, aura lieu la deuxième conférence  The B method, from research to teaching.
+**2008** En octobre je partirai en retraite. Et organiserai la conférence  The B method, from research to teaching où sera Jean-Raymond.
 En 2008 ce sera la première conférence ABZ à la British Computing Society à Londres
-  J'irai à la conférence de Toulouse ABZ et j'y retrouverai Jean-Raymond qui rentrait de Chine. Il y avait aussi bien sûr Egon Börger (il n'a pas dû en rater une) - qui fut prof invité à Nantes pour quelques mois - Leslie Lamport et Tony Hoare. Quand je suis allé visiter avec les petits-enfants le musée de l'aviation de Toulouse j'ai reconnu le restaurant du dîner de gala.
+En **2009**, aura lieu la deuxième conférence  The B method, from research to teaching.
-  Conférence de Jean-Raymond au Collège de France. Je me souviens qu'il m'avait raconté qu'on lui avait volé son ordinateur portable avant la conférence.
+**2014 ** J'irai à la conférence de Toulouse ABZ et j'y retrouverai Jean-Raymond qui rentrait de Chine. Il y avait aussi bien sûr Egon Börger (il n'a pas dû en rater une) - qui fut prof invité à Nantes pour quelques mois - Leslie Lamport et Tony Hoare. Quand je suis allé visiter avec les petits-enfants le musée de l'aviation de Toulouse j'ai reconnu le restaurant du dîner de gala.
-Ce sont mes derniers échanges par courriels avec Jean-Raymond. Il venait de m'apprendre qu'il était en fauteuil roulant et était dans un établissement adéquat. Il lisait les Essais de Montaigne et s'intéressait à la civilisation japonaise. Je lui ai proposé d'aller le voir mais il m'a répondu qu'il n'était pas bien. Dans son exposé à ABZ 2025, Dominique Cansell termine par deux photos prises lors de ses deux dernières visites de Jean-Raymond. C'était en 2022. Mais Dominique a communiqué avec Jean-Raymond les années suivantes.
+**2015 ** Conférence de Jean-Raymond au Collège de France. Je me souviens qu'il m'avait raconté qu'on lui avait volé son ordinateur portable avant la conférence.
-Le 25 mai 2025 Ce sera la conférence J.R. Abrial, a pioneer in the scientific development of computer languages and formal methods and their large-scale application in industry dans le cadre des Journées Scientifiques de l'université de Nantes. Nous apprendrons le 3 juin le décès de Jean-Raymond la veille des journées.
+**2022** Ce sont mes derniers échanges par courriels avec Jean-Raymond. Il venait de m'apprendre qu'il était en fauteuil roulant et était dans un établissement adéquat. Il lisait les Essais de Montaigne et s'intéressait à la civilisation japonaise. Je lui ai proposé d'aller le voir mais il m'a répondu qu'il n'était pas bien. Dans son exposé à ABZ 2025, Dominique Cansell termine par deux photos prises lors de ses deux dernières visites de Jean-Raymond. C'était en 2022. Mais Dominique a communiqué avec Jean-Raymond les années suivantes.
-et du 10 au 13 juin 2025 a eu lieu la  conférence ABZ où Dominique Cansell a présenté un travail fait avec Jean-Raymond il y a quelques années . C'était 30 ans après la première conférence sur  Z et B de Nantes !
+Le **25 mai 2025** Ce sera la conférence //J.R. Abrial, a pioneer in the scientific development of computer languages and formal methods and their large-scale application in industry// dans le cadre des Journées Scientifiques de l'université de Nantes. Nous apprendrons le 3 juin le décès de Jean-Raymond la veille des journées.
-Et je ne m'imaginais pas il y a un an que je publierais à presque 79 ans un article sur B dans une conférence ! (Formal Modelling of Information System Evolution using B) Un article retrouvé quand j'ai préparé la conférence sur Jean-Raymond. Le collègue a dû se remettre à l'Atelier B car il ne restait que des bouts de specs B. Et les outils ont évolués depuis 2008 ! L'article traite d'applications où les règles changent selon des phases. C'est par exemple le cas de l'année universitaire. C'est aussi le cas d'évolutions de la loi.
+et du 10 au 13 juin 2025 a eu lieu la  conférence ABZ où Dominique Cansell a présenté un travail fait avec Jean-Raymond il y a quelques années . C'était **30 ans après la première conférence sur  Z et B de Nantes** !
+Et je ne m'imaginais pas il y a un an que je publierais à presque 79 ans un article sur B dans une conférence ! "//Formal Modelling of Information System Evolution using B//" Un article retrouvé quand j'ai préparé la conférence sur Jean-Raymond. Le collègue a dû se remettre à l'Atelier B car il ne restait que des bouts de specs B. Et les outils ont évolués depuis 2008 ! L'article traite d'applications où les règles changent selon des phases. C'est par exemple le cas de l'année universitaire. C'est aussi le cas d'évolutions de la loi.
- Merci Jean-Raymond pour tout ce que tu m'as appris de Socrate, à Z, à B, à Event-B, à Rodin, pour ta pédagogie, pour avoir adressé tes travaux à tant de personnes, pour ton accueil que ce soit à Paris ou à Marseille. Grace à toi, j'ai eu des relations avec de nombreuses personnes qui elles aussi disaient à quel point tu leur as apporté. Grace à toi, je n'ai pas travaillé, j'ai pris du plaisir.
+**Merci Jean-Raymond pour tout ce que tu m'as appris de Socrate, à Z, à B, à Event-B, à Rodin, pour ta pédagogie, pour avoir adressé tes travaux à tant de personnes, pour ton accueil que ce soit à Paris ou à Marseille. Grace à toi, j'ai eu des relations avec de nombreuses personnes qui elles aussi disaient à quel point tu leur as apporté. Grace à toi, je n'ai pas travaillé, j'ai pris du plaisir.**
 Henri Habrias

Velo - Vérification pour l'Environnement et le LOgiciel

Outils pour utilisateurs

Outils du site

Différences

Outils de la page