Différences

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

--- velo:js2025 [2025/07/18 16:40]
aelosweb [Compléments au fil de l'eau]
+++ velo:js2025 [2025/11/18 21:17] (Version actuelle)
aelosweb
@@ Ligne 36: / Ligne 36: @@
   * Article //Data Semantics// JRA  [Cargese 1974] {{ :velo:cargese-jra.pdf |pdf}}
+  * Article //Spécifier ou comment matérialiser l'abstrait// [TSI 1984] {{ :velo:tsi-abrial.pdf |pdf}} (merci à D. Méry)
   * Article //Extending B without changing it (for Developing Distributed Systems) // JRA [1st B conf Nantes 1996] {{ :velo:articlejra-firstbconf.pdf |pdf}}
   * Mejia histoire de B, copie de livre
@@ Ligne 105: / Ligne 106: @@
 * Abrial à Oxford et ailleurs {{ :velo:abrial_a_oxford.pdf |pdf}}
 * Article JRA  Cargese {{ :velo:cargese-jra.pdf |pdf}}
+* Article JRA  TSI {{ :velo:tsi-abrial.pdf |pdf}}
 * Article JRA (1st B conf ) {{ :velo:articlejra-firstbconf.pdf |pdf}}
 * Deux crayons. Ontologie ensembliste {{ :velo:ontologieensembliste2105.pdf |pdf}}
@@ Ligne 137: / Ligne 139: @@
 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 {{ :velo:lecpm.pdf |pdf}}
-* [[velo:js2025:cansell|velo:js2025:cansell]]
+* [[velo:js2025:cansell|Message de Dominique Cansell]]
-* Hommage du CNRS [[http://example.com|Lien externe]]
+* Billet de Gérard Le lann [[https://www.linkedin.com/posts/gerard-le-lann-85b0837_en-lhonneur-et-en-souvenir-de-jean-raymond-activity-7336333406198198272-b3jU/|lien]]
+* Hommage du GDR/GPL [[https://gdr-gpl.cnrs.fr/?p=478|lien]] {{ :velo:presentation-hommagejra.pdf |local}}
+* Hommage du CNRS INS2I [[https://www.ins2i.cnrs.fr/fr/cnrsinfo/hommage-jean-raymond-abrial|lien]]{{ :velo:hommage_a_jean-raymond_abrial_cnrs_sciences_informatiques.pdf |local}}
 ===== Visioconférence =====
@@ Ligne 152: / Ligne 156: @@
 * [[https://uncloud.univ-nantes.fr/index.php/s/6mxYeLqtmBxcpb7|replay visio zoom partie 3]]
 * [[https://uncloud.univ-nantes.fr/index.php/s/aAWJmwgnP8nWofH|replay visio zoom partie 4]]
 ===== Photos=====
@@ Ligne 164: / Ligne 167: @@
 Organisé par : {{:velo-logo-03.jpg?100|}} {{:velo:logo_ls2n_2025.png?60|}} {{:velo:blank.png?20|}} {{:velo:nantesuniversite.png?110|}}
+===== Post scriptum =====
+[[https://jean-raymond-abrial.blogspot.com/2025/07/ce-que-je-dois-jean-raymond-abrial.html|Ce que je dois à Jean-Raymond Abrial]] [[velo:js2025:post|]]
+[[https://jean-raymond-abrial.blogspot.com/|blog]]

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

Outils pour utilisateurs

Outils du site

Différences

Outils de la page