Différences

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

--- velo:js2025 [2025/05/29 10:58]
aelosweb [Les JS ça se passe à Nantes]
+++ 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 98: / Ligne 99: @@
-==== Compléments ====
+==== Compléments au fil de l'eau ====
 /* //A venir//
@@ Ligne 105: / Ligne 106: @@
 * Abrial à Oxford et ailleurs {{ :velo:abrial_a_oxford.pdf |pdf}}
 * Article JRA  Cargese {{ :velo:cargese-jra.pdf |pdf}}
-* Article JRA (1st B conf) {{ :velo:articlejra-firstbconf.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}}
 * Much ado about nothing Dunn et al. {{ :velo:much_ado.pdf |pdf}}
@@ Ligne 125: / Ligne 127: @@
 */
+* Extrait de Programmation statique avec Z - Baudoin/Meyer {{ :velo:programmation_statique_z_-_bm.pdf |pdf}}
+* "Une approche formelle de la construction ds logiciels" JR Abrial, traduite par G. Laffitte, 5 sept. 1989 {{ :velo:abrial-laffite-1998.pdf |pdf}}
 * B présent, futur, recherche, enseignements TSI V22 N1 2003 {{ :undefined:tsi-v22n1-2004-bpresent-futur-recherche-ens.pdf |pdf}}
 * Histoire de B, Fernando Meija, ancien responsable Méthodes et Outils de Développement logiciel d'Alstom Transport Signalisation {{ :velo:specformelleavecb-avant-propos-mejia.pdf |pdf}}
@@ Ligne 134: / Ligne 138: @@
 * Groupe PI {{ :velo:groupepi-transmis_par-cartherine-dubois.pdf |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 {{ :velo:lecpm.pdf |pdf}}
+* [[velo:js2025:cansell|Message de Dominique Cansell]]
+* 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 147: / 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 155: / Ligne 163: @@
 ===== Les JS2025 se passent à Nantes =====
-Ne loupez pas le point de vue du [[https://lefenetrou.blogspot.com/2025/05/bienvenue-js2025-de-nantes-universite.html|le fenetrou]]
+Ne loupez pas le point de vue du [[https://lefenetrou.blogspot.com/2025/05/bienvenue-js2025-de-nantes-universite.html|fenetrou]]
 /* <note tip>En architecture, un fenestron ou fenestrou est une petite fenêtre. </note> */
 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