Méthodes de développement formelles. Vérification de modèles. Langages de spécification formelle comme VDM, Z ou Lotos. Utilisation de logiciels de vérification de modèles.
Consulter la description officielle du cours sur ulaval.caFaculté : Sciences et génie
Courriel : fsg@fsg.ulaval.ca
Département : Département d'informatique et de génie logiciel
Courriel : info@ift.ulaval.ca
Baccalauréat en informatique (B. Sc. A.) (cours à option)
Distance
GLO-3004-Z3
NRC 15404
Enseignant(e)s: Antoine Lefrançois