Que cherchez-vous?
51 Résultats pour : « Portes ouvertes »

L'ÉTS vous donne rendez-vous à sa journée portes ouvertes qui aura lieu sur son campus à l'automne et à l'hiver : Samedi 18 novembre 2023 Samedi 17 février 2024 Le dépôt de votre demande d'admission à un programme de baccalauréat ou au cheminement universitaire en technologie sera gratuit si vous étudiez ou détenez un diplôme collégial d'un établissement québécois.

Sigle
MGL848
Responsable
Département de génie logiciel et TI
Cycle
2e
Crédits
3

MGL848 - Validation et vérification de modèles en génie logiciel

Ce cours vise à procurer à l'étudiante ou à l'étudiant une connaissance approfondie des méthodes formelles et semi-formelles pour la description et l’analyse de matériels ou de produits logiciels. Il vise également à faire comprendre les avantages et les limites de ces méthodes.

À la fin du cours, l'étudiante ou l'étudiant sera en mesure de produire un modèle abstrait et formel d’un système, de l’utiliser pour démontrer certaines propriétés, de d'expliquer comment ces propriétés répondent aux spécifications essentielles/critiques du système.

L'étudiant devra également être capable de lire et comprendre des spécifications formelles écrites par des professionnels et de produire des spécifications formelles de systèmes de complexité moyenne. Il possèdera une très bonne connaissance des méthodes existantes et saura discuter intelligemment des avantages et des inconvénients de l’utilisation de telles approches.