INF3140: Transparents (4 pages par feuille)
1. Introduction: Qu'est-ce que les méthodes
formelles?
2. Propositions, quantificateurs et CONCEPTS
3. Types abstraits de la bibliothèque Spec
4. Formalisation de modèles conceptuels UML
5. Spécifications fonctionnelles et pré/post-conditions
(module FUNCTION)
6. Machines abstraites (module MACHINE)
7. Types mutables et immuables (module TYPE)
8. Éléments additionels de Spec
9. Cohérence interne d'une spécification et absence de
biais de mise en oeuvre
11. Un système de gestion d'une bibliothèque universitaire
12. La notation OCL d'UML
13. VDM et Z
15. Conception et programmation par contrats et utilisation d'assertions
Dernière mise à jour: 24 août
2004