Une introduction aux méthodes formelles

Ce séminaire se veut une brêve introduction aux méthodes formelles. Il tente de répondre à diverses questions:

Qu'est-ce qu'une spécification?
Qu'est-ce qu'une méthode formelle?
Qu'est-ce qu'un langage formel de spécification?
Pourquoi y-a-t-il plusieurs notations et méthodes?
À quelles étapes les spécifications et méthodes formelles peuvent-elles être utilisées?
Quels sont les principaux bénéfices des méthodes formelles?
Y-a-t-il des exemples d'applications développées avec des méthodes formelles?

Pour obtenir les acétates