-
V1.4.3
Version post-soutenance : ajout de la date de soutenance et des remerciements.
-
V1.4.2
Version finale, avec résumé un peu raccourci et traduit. Feu vert pour publication.
-
V1.4
Seconde mouture intégralement terminée. Mise à jour du résumé et de la conclusion. Quelques retouches sur le chapitre 4. Introduction d'une indexation séparée des tables d'état.
-
V1.3
Première mouture intégralement terminée. Prête pour une relecture finale.
-
V0.8.1
Ajout des remarques de Nathalie sur le Ch5, reprise complète du Ch3.
-
V0.8
Refonte de la partie résultats du chapitre 6. Celui-ci est écrit dans une première version.
-
V0.7.1
Avancées sur le chapitre 6, corrections mineures sur le chapitre 5.
-
V0.6.2
Nouvelle version du chapitre 5. Ajout d'une section 5.1.3 à partir de ce qui était à la base en section 5.5. Sécoupage de la 5.5 en « Modularité du modèle » (5.5) et « Synthèse » (5.6)
-
V0.6.1
Séparation tables/prédicats dans le chapitre 5 déplacement de la définition des prédicats en annexe.
-
V0.4
Chapitre 2 entièrement terminé: intro, conclusion, et réduction du modèle de Dogma (dernière section). En attente d'écriture de l'intro pour relecture.
-
V0.3
Chapitre 1 entièrement terminé: intro, synthèse et développement. En attente de relecture.
-
V0.1
Chapitre 1 dans sa première version complète. Nécessite l'application de nombreuses remarques faites lors de réunion avec les encadrants et rapportées dans des todos. La section 1.4 est très récente et nécessite d'être relue et affinée. Son introduction est à réécrire.