Différences

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

--- velo:js2025 [2025/07/18 16:51]
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 154: / 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 166: / 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