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
Travail #1
Résumé d'un article
décrivant une application industrielle des méthodes
formelles
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.
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