Table des matières
CL1 - J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie
Colloque n°1 - Salle N lien Colloque n°1
Ce colloque relie les travaux de J.R. Abrial, du langage LTR développé au Centre de programmation de la marine, à Paris, en passant par le SGBD Socrate développé à l’IMAG de Grenoble, sa participation à la définition du langage ADA, l’invention de la notation formelle Z, puis la méthode de spécification formelle B, suivie de Event B et du projet de plateforme logicielle Rodin.
Programme
Actes
Sommaire pdf
Communications du colloque
Partie 1
- Accueil diapos
- JR Abrial, un chercheur mono-maniaque de LTR à Event-B en passant par Ada, Z, B, Event-B pdf diapos
Henri HABRIAS, Professeur émérite, Nantes Université- Article Data Semantics JRA [Cargese 1974] pdf
- Article Spécifier ou comment matérialiser l'abstrait [TSI 1984] pdf (merci à D. Méry)
- Article Extending B without changing it (for Developing Distributed Systems) JRA [1st B conf Nantes 1996] pdf
- Mejia histoire de B, copie de livre
- Souvenirs anciens pdf
- Ils en parlent, Abrial à Oxford et ailleurs pdf
- LTR, un langage pour programmer des systèmes concurrents pdf diapos
David Andreu, Neurinnov, Henri HABRIAS, Professeur émérite, Nantes Université- Initiation au TR basée sur le langage LTR (indépendant de tout OS RT) David Andreu, Neurinnov diapos pdf
- avec l'aimable participation de Patrick De Bondely, Pascal Grojean et Gérard Le Lann
- A propos de rien odp
Bill Stoddart, Teesside University
Partie 2
replay visio partie 2 A replay visio partie 2 B
- (visio) Pédagogie par l’exemple, enseignement de bases de données associant Z0, Z1 et Socrate
à la Miage de Grenoble en 1980 pdf ppsx zip
Jean-Pierre GIRAUDIN – Professeur émérite - LIG - GrenoblePartie 3
Partie 4
Compléments au fil de l'eau
- Extrait de Programmation statique avec Z - Baudoin/Meyer pdf
- “Une approche formelle de la construction ds logiciels” JR Abrial, traduite par G. Laffitte, 5 sept. 1989 pdf
- B présent, futur, recherche, enseignements TSI V22 N1 2003 pdf
- Histoire de B, Fernando Meija, ancien responsable Méthodes et Outils de Développement logiciel d'Alstom Transport Signalisation pdf
- Spécification multi-formalismes : l'exemple de la facturation Pascal André pdf
- Livres sur Z pdf
- Livres et videos sur B pdf
- Bibliographie JR Abrial pdf
- “Z caused a good deal of confusion on the pronunciation stakes. The English and even Scots and some French call it Zed. The Americans call it Zee and get confused when we correct them Zed. But Ib had his own distinctive pronunciation: Zet. ”( Bill Roscoe , In Memoriam Ib Sorensen)
- Groupe PI pdf Ce groupe réunit des chercheurs du LITP et du CEDRIC-CNAM, travaillant sur la spécification et la certification de systèmes informatisés à l'aide de systèmes d'aide à la preuve (B, Coq, PVS). (transmis par Catherine Dubois)
- Le Centre de Programmation de la Marine (CPM) Avec Abrial mentionné dans une chronique de Claude Kaiser 2011 pdf
- Billet de Gérard Le lann lien
Visioconférence
* Accès en visio Zoom - (lien) (si besoin » ID de réunion: 841 3282 2581 Code secret: 610460)
Photos
Les JS2025 se passent à Nantes
Ne loupez pas le point de vue du fenetrou
Organisé par : 
