Spécification et modélisation formelles de
logiciels -- INF3140
Cette page contient diverses informations pour le cours INF3140 --
``Spécification et modélisation formelles de
logiciels''.
Ce site web a été initialement
créé par
Guy Tremblay
(prof. au département
d'informatique).
Tranparents résumant les points clés du cours
Tranparents (fichiers pdf).
Analyseur Spec
Pour faire vérifier la syntaxe
et les types d'un module Spec.
Pour obtenir la spécification
formelle et détaillée (notation EBNF) de la syntaxe de
Spec.
Note: Les majuscules sont importantes pour les mots
réservés.
Note: Vous pouvez aussi utiliser l'analyseur sans passer
par un navigateur.
Quelques anciens examens
Spécification formelle (partielle) de la notion de ``travail
en retard''
Module DEFINITION Spec donnant une
spécification formelle, mais partielle, de ce qu'est ``un
travail en retard''.
Exercices
Pour obtenir les
énoncés des exercices (donnés dans les notes de
cours), des indices ou les solutions.
Plan de cours du trimestre d'automne 2006
Plan de cours du trimestre d'automne 2006.
Informations diverses
Liens vers des informations diverses qui
pourraient être utiles au cours de la session.
Dernière mise à jour: 12 septembre 2006