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/07/25 10:47] aelosweb |
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 //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 105: | Ligne 106: | ||
| * Abrial à Oxford et ailleurs {{ :velo:abrial_a_oxford.pdf |pdf}} | * Abrial à Oxford et ailleurs {{ :velo:abrial_a_oxford.pdf |pdf}} | ||
| * Article JRA Cargese {{ :velo:cargese-jra.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}} | * Article JRA (1st B conf ) {{ :velo:articlejra-firstbconf.pdf |pdf}} | ||
| * Deux crayons. Ontologie ensembliste {{ :velo:ontologieensembliste2105.pdf |pdf}} | * Deux crayons. Ontologie ensembliste {{ :velo:ontologieensembliste2105.pdf |pdf}} | ||