GLO-3004 Spécification formelle et vérification de logiciels
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.
Responsables
- Faculté des sciences et de génie
- Département d'informatique et de génie logiciel
Cette activité est contributoire dans:
Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.
Répartition hebdomadaire
- 3h Cours
- 2h Laboratoire ou travaux pratiques
- 4h Travail personnel
- 9h Total
Horaire
Pour vous inscrire, accédez à monPortail.
Hiver 2024 – 1 section offerte
NRC 15404 Capacité maximale: 185 étudiants
Plages horaires
-
- Type: Classe virtuelle synchrone
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Mardi
- Horaire: De 16h30 à 18h20
-
- Type: Classe virtuelle synchrone
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Mercredi
- Horaire: De 12h30 à 13h50
-
- Type: Classe virtuelle synchrone
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Jeudi
- Horaire: De 9h30 à 10h50
Hiver 2023 – 1 section offerte
NRC 15397 Capacité maximale: 160 étudiants
Plages horaires
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 jan. 2023 au 21 avr. 2023
- Journée: Mardi
- Horaire: De 16h30 à 18h20
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 jan. 2023 au 21 avr. 2023
- Journée: Mercredi
- Horaire: De 12h30 à 13h50
-
- Type: Classe virtuelle synchrone
- Dates: Du 10 jan. 2023 au 21 avr. 2023
- Journée: Jeudi
- Horaire: De 9h30 à 10h50