Différences

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

--- velo:js2025 [2025/07/25 10:47]
aelosweb
+++ velo:js2025 [2026/04/28 11:12] (Version actuelle)
aelosweb [Compléments au fil de l'eau]
@@ 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 141: / Ligne 143: @@
 * 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}}
+* //Memories of Jean-Raymond Abrial in Oxford and the Alps//. Bernard Sufrin, Oxford, 2025 {{ :velo:abrialmemoir.pdf |pdf}}
 ===== Visioconférence =====

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