Sommaire: Développement et validation de logiciels

1. Généralités
1.1 Bref historique
1.2 Niveaux d’utilisation des méthodes formelles
2. Méthodes formelles et cycle de vie du logiciel
3. Bases mathématiques
3.1 Logique du premier ordre
3.2 Théorie des ensembles
3.3 Notions sur les systèmes de types
4. Méthodes ensemblistes
4.1 Méthode VDM
4.2 Méthode Z
4.3 Méthode B
5. Types abstraits algébriques
6. Domaine des protocoles
6.1 Estelle
6.2 Logique temporelle
6.3 Approche synchrone
7. Logiques d’ordre supérieur, logiques constructives
7.1 Ordre supérieur
7.2 Introduction du typage
7.3 Modes d’utilisation des logiques typées
8. Conclusion
………..