Outils pour utilisateurs
velo:js2025
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
velo:js2025 [2025/11/18 11:25] aelosweb [Compléments au fil de l'eau] |
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 //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}} | * 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 | * Mejia histoire de B, copie de livre | ||
| Ligne 142: | Ligne 143: | ||
| * Hommage du GDR/GPL [[https://gdr-gpl.cnrs.fr/?p=478|lien]] {{ :velo:presentation-hommagejra.pdf |local}} | * 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}} | * 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 ===== | ===== Visioconférence ===== | ||
velo/js2025.1763461539.txt.gz · Dernière modification: 2025/11/18 11:25 par aelosweb
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
