Méthodes formelles et semi-formelles - MGL7160
Cette page contient des informations pour le cours ``MGL7160
- Méthodes formelles et semi-formelles'', cours enseigné
à l'hiver 2001 par
Guy Tremblay, professeur au département d'informatique
de l'UQAM, dans le cadre de la maîtrise en
génie logiciel.
Projet de spécification
La description du projet de spécification
Matériel supplémentaire sur les systèmes
réactifs et concurrents (à imprimer)
Pour obtenir le matériel sur les
systèmes réactifs et concurrents: Partie V (Chaps. 15,
16, et 17)
Exercices à remettre
Pour obtenir les énoncés (et
solutions) des exercices à faire
Transparents résumant les points clés du cours
Transparents (pdf).
Travail #1
Résumé d'un article
décrivant une application industrielle des méthodes
formelles
Corrections au livre ``Modélisation et spécification
formelle des logiciels''
Liste de
corrections à faire dans le manuel de référence
du cours
Analyseur Spec
Pour faire vérifier la syntaxe d'un module Spec, cliquez-ici.
Pour obtenir la spécification formelle et
détaillée (notation EBNF) de la syntaxe de Spec, cliquez-ici.
Note: Les majuscules sont importantes pour les mots
réservés.
Note: Vous pouvez aussi utiliser l'analyseur sans passer par
un navigateur. Pour plus d'informations à ce sujet, cliquez-ici.
Syllabus
Syllabus, session hiver 2001
Bibliographie détaillée et commentée
Bibliographie commentée.
Exercices des notes de cours
Pour obtenir les énoncés des exercices donnés
dans les notes de cours, des indices et/ou les solutions des
exercices, cliquez-ici.
Informations diverses
Liens vers des informations diverses
concernant les méthodes formelles
Envoi d'un message au professeur
Pour envoyer un message (courrier électronique) au professeur:
Ou encore, téléphonez au numéro suivant: 987-3000
poste 8213# (et laissez un message si nécessaire).
Guy Tremblay
Département d'informatique, UQAM
C.P. 8888, Succ. Centre-Ville
Montréal, Qué.
H3C 3P8