Conclusion

INF3143
Modélisation et spécification
formelles des logiciels
Hiver 2017
Alexandre Terrasa
Département d’informatique, UQÀM

Conclusion
Retours sur le plan de
cours
2

Description du cours
3
Le cours vise à initier les étudiants aux méthodes formelles
de spécification et à leur rôle dans le cycle de
développement des logiciels.
● Entres autres, il vise à familiariser les étudiants avec le
mode descriptif de spécifications plutôt qu'avec le mode
opérationnel (algorithme) auquel ils sont habitués.
● Il vise aussi à familiariser les étudiants avec les notions
d'assertions, de contraintes et de contrats avec leur
utilisation pour le développement de logiciels.

Spécifications et méthodes
formelles
4
Rôle des spécifications et méthodes formelles
● raisonner à l’aide de la logique
mathématique
● utiliser une notation formelle
● pour valider un programme en fonction
d’une spécification

Descriptions de composants
logiciels
Introduction à certaines notions formelles pour
décrire des systèmes et composantes logiciels
● diagrammes de classes
● contraintes OCL
● automates et systèmes de transitions
● contrats.
5