Informations et liens divers pour le cours de MGL7160
Utilisation des méthodes formelles dans le cycle de
développement des logiciels
Ce document, qui
décrit l'utilisation des méthodes formelles dans le
cycle de développement des logiciels, a été
développé dans le cadre du projet SWEBOK par Guy Tremblay
Description d'applications industrielles
développées à l'aide de méthodes formelles
(Hiver 2001)
Résumés
d'article décrivant des applications industrielles
développées à l'aide de méthodes
formelles, résumés produits par les étudiant-e-s
du cours de maîtrise MGL7160 (Méthodes formelles et
semi-formelles, session hiver 2001)
Bibliographie détaillée et commentée
Pour effectuer une recherche dans la bibliographie sur les
méthodes formelles,
cliquez-ici.
Spécifications des principaux types Spec
Pour consulter les spécifications détaillées et
formelles des principaux types Spec (nat, char, set, map, etc.)
cliquez-ici.
Quelques liens intéressants