GLO-3004 Spécification formelle et vérification de logiciels
GLO-3004
GLO
3004
Spécification formelle et vérification de logiciels
Génie logiciel
Description
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.
Cours cycles etudes XML
a:1:{i:0;a:6:{s:15:"codeCycleEtudes";s:1:"1";s:11:"description";s:13:"Premier cycle";s:28:"affichableDansListeDeValeurs";s:1:"1";s:22:"cycleEtudesSuperieures";s:0:"";s:31:"disponibleAdmissionLibreService";s:1:"1";s:32:"descriptionAdmissionLibreService";s:13:"Premier cycle";}}
Cours formules enseignement XML
N;
Sections cours
a:1:{s:12:"sectionCours";a:3:{i:0;a:16:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202401";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2024";}}}s:3:"nrc";a:1:{i:0;s:5:"15404";}s:10:"codeGroupe";a:1:{i:0;s:2:"Z3";}s:11:"description";a:1:{i:0;s:779:"Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens. Aucun accommodement ne sera accordé en cas de conflit d’horaire.";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"D";}s:5:"titre";a:1:{i:0;s:11:"À distance";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2024-01-15";}s:7:"dateFin";a:1:{i:0;s:10:"2024-04-26";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"185";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;s:0:"";}s:11:"professeurs";a:1:{i:0;s:0:"";}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:3:{i:0;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Mardi";}s:9:"dateDebut";a:1:{i:0;s:10:"2024-01-15";}s:7:"dateFin";a:1:{i:0;s:10:"2024-04-26";}s:10:"heureDebut";a:1:{i:0;s:5:"16:30";}s:8:"heureFin";a:1:{i:0;s:5:"18:20";}}i:1;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:8:"Mercredi";}s:9:"dateDebut";a:1:{i:0;s:10:"2024-01-15";}s:7:"dateFin";a:1:{i:0;s:10:"2024-04-26";}s:10:"heureDebut";a:1:{i:0;s:5:"12:30";}s:8:"heureFin";a:1:{i:0;s:5:"13:50";}}i:2;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Jeudi";}s:9:"dateDebut";a:1:{i:0;s:10:"2024-01-15";}s:7:"dateFin";a:1:{i:0;s:10:"2024-04-26";}s:10:"heureDebut";a:1:{i:0;s:5:"09:30";}s:8:"heureFin";a:1:{i:0;s:5:"10:50";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}i:1;a:16:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202501";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2025";}}}s:3:"nrc";a:1:{i:0;s:5:"15442";}s:10:"codeGroupe";a:1:{i:0;s:2:"Z3";}s:11:"description";a:1:{i:0;s:779:"Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens. Aucun accommodement ne sera accordé en cas de conflit d’horaire.";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"D";}s:5:"titre";a:1:{i:0;s:11:"À distance";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"225";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;s:0:"";}s:11:"professeurs";a:1:{i:0;s:0:"";}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:2:{i:0;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Mardi";}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:10:"heureDebut";a:1:{i:0;s:5:"16:30";}s:8:"heureFin";a:1:{i:0;s:5:"18:20";}}i:1;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:8:"Mercredi";}s:9:"dateDebut";a:1:{i:0;s:10:"2025-01-13";}s:7:"dateFin";a:1:{i:0;s:10:"2025-04-25";}s:10:"heureDebut";a:1:{i:0;s:5:"18:30";}s:8:"heureFin";a:1:{i:0;s:5:"21:20";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}i:2;a:16:{s:7:"session";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202601";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2026";}}}s:3:"nrc";a:1:{i:0;s:5:"15085";}s:10:"codeGroupe";a:1:{i:0;s:2:"Z3";}s:11:"description";a:1:{i:0;s:779:"Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens. Aucun accommodement ne sera accordé en cas de conflit d’horaire.";}s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}s:6:"campus";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"000";}s:5:"titre";a:1:{i:0;s:9:"Principal";}}}s:12:"modeNotation";a:1:{i:0;s:0:"";}s:19:"formuleEnseignement";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"D";}s:5:"titre";a:1:{i:0;s:11:"À distance";}}}s:9:"dateDebut";a:1:{i:0;s:10:"2026-01-12";}s:7:"dateFin";a:1:{i:0;s:10:"2026-04-24";}s:19:"nombrePlacesMaximum";a:1:{i:0;s:3:"225";}s:25:"reservationsPlacesSection";a:1:{i:0;s:0:"";}s:19:"restrictionsSection";a:1:{i:0;a:1:{s:18:"restrictionSection";a:1:{i:0;a:3:{s:15:"typeRestriction";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"LVL";}s:5:"titre";a:1:{i:0;s:15:"Cycle d'études";}}}s:18:"inclusionExclusion";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"E";}s:5:"titre";a:1:{i:0;s:9:"Exclusion";}}}s:18:"elementsRestreints";a:1:{i:0;a:1:{s:16:"elementRestreint";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:2:"UE";}s:5:"titre";a:1:{i:0;s:19:"Éducation continue";}}}}}}}}}s:11:"professeurs";a:1:{i:0;a:1:{s:10:"professeur";a:1:{i:0;a:2:{s:3:"nom";a:1:{i:0;s:6:"Ricaud";}s:6:"prenom";a:1:{i:0;s:5:"Loïc";}}}}}s:13:"plagesHoraire";a:1:{i:0;a:1:{s:12:"plageHoraire";a:3:{i:0;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Mardi";}s:9:"dateDebut";a:1:{i:0;s:10:"2026-01-12";}s:7:"dateFin";a:1:{i:0;s:10:"2026-04-24";}s:10:"heureDebut";a:1:{i:0;s:5:"16:30";}s:8:"heureFin";a:1:{i:0;s:5:"18:20";}}i:1;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:8:"Mercredi";}s:9:"dateDebut";a:1:{i:0;s:10:"2026-01-12";}s:7:"dateFin";a:1:{i:0;s:10:"2026-04-24";}s:10:"heureDebut";a:1:{i:0;s:5:"18:30";}s:8:"heureFin";a:1:{i:0;s:5:"19:50";}}i:2;a:6:{s:16:"typePlageHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"SYNC";}s:5:"titre";a:1:{i:0;s:26:"Classe virtuelle synchrone";}}}s:4:"jour";a:1:{i:0;s:5:"Jeudi";}s:9:"dateDebut";a:1:{i:0;s:10:"2026-01-12";}s:7:"dateFin";a:1:{i:0;s:10:"2026-04-24";}s:10:"heureDebut";a:1:{i:0;s:5:"18:30";}s:8:"heureFin";a:1:{i:0;s:5:"19:50";}}}}}s:14:"sectionsFilles";a:1:{i:0;s:0:"";}}}}
Substituts
N;
Temps à consacrer
a:3:{s:13:"nbHeuresCours";a:2:{s:6:"valeur";s:1:"3";s:4:"type";s:4:"fixe";}s:19:"nbHeuresLaboratoire";a:2:{s:6:"valeur";s:1:"2";s:4:"type";s:4:"fixe";}s:14:"nbHeuresAutres";a:2:{s:6:"valeur";s:1:"4";s:4:"type";s:4:"fixe";}}
Cours attributs de cours
a:1:{s:8:"attribut";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:4:"DIST";}s:5:"titre";a:1:{i:0;s:29:"Peut être offert à distance";}}}}
Cours restrictions
a:1:{s:11:"restriction";a:1:{i:0;a:3:{s:15:"typeRestriction";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:3:"LVL";}s:5:"titre";a:1:{i:0;s:15:"Cycle d'études";}}}s:18:"inclusionExclusion";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"E";}s:5:"titre";a:1:{i:0;s:9:"Exclusion";}}}s:18:"elementsRestreints";a:1:{i:0;a:1:{s:16:"elementRestreint";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:2:"UE";}s:5:"titre";a:1:{i:0;s:19:"Éducation continue";}}}}}}}}
Cours type d'horaires
a:1:{s:11:"typeHoraire";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:1:"R";}s:5:"titre";a:1:{i:0;s:9:"Régulier";}}}}
Cours préalables XML
a:1:{s:9:"prealable";a:1:{i:0;a:3:{s:5:"texte";a:1:{i:0;s:46:"IFT 2002 ET (GIF 1003 OU IFT 2005 OU IFT 1006)";}s:12:"sessionDebut";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"202201";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2022";}}}s:10:"sessionFin";a:1:{i:0;a:2:{s:4:"code";a:1:{i:0;s:6:"999999";}s:5:"titre";a:1:{i:0;s:32:"dernière session indéterminée";}}}}}}
Cours concomitant
N;
Nombre de crédits XML
a:3:{s:7:"minimum";a:1:{i:0;s:1:"3";}s:8:"indicUEC";a:1:{i:0;s:1:"N";}s:10:"affichable";a:1:{i:0;s:1:"3";}}
Prochaine session offert XML
a:2:{s:4:"code";a:1:{i:0;s:6:"202601";}s:5:"titre";a:1:{i:0;s:10:"Hiver 2026";}}
Faculté
Formules d’enseignement
À distance
Matières
GLO - Génie logiciel
Modes d’enseignement
Régulier
Sessions d’inscription
Hiver 2024
Hiver 2025
Hiver 2026
Cours cycle