Scolarité
Premier cycle - 3,0 crédit(s)
Département
Département d'informatique et d'ingénierie
Objectifs
Introduire l'étudiant à l'approche professionnelle utilisée dans les différentes étapes du développement de systèmes informatiques (y compris des systèmes à temps réel). Lui présenter les différentes techniques formelles existantes dans le domaine et montrer comment les appliquer dans un projet informatique. Lui apprendre à documenter un système informatique. Introduire l'étudiant au travail en équipe.
Contenu
Principaux types de documents dans un système informatique et définitions de leurs contenus. Rôle des spécifications et méthodes formelles. Introduction à certaines notations formelles pour décrire les exigences et spécifications de composants et systèmes logiciels : modélisation abstraite, spécifications algébriques des types abstraits et/ou automates et systèmes de transition. Méthode rigoureuse de développement. Techniques de validation, tests, inspection. Travail en équipe, gestion de l'équipe, productivité, métriques. Outils de programmation supportant le développement des logiciels.
Exigences de qualification pour l'enseignement
Diplôme(s)
Maîtrise en informatique
Expérience
5 années d'expérience dans l'application des méthodes formelles dans le développement de systèmes informatiques. Un doctorat avec spécialisation académique en génie logiciel sera considéré répondre à l'exigence pour l'expérience.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, le candidat devra pouvoir démontrer une
capacité à communiquer efficacement oralement et par écrit
ainsi qu'à transmettre les connaissances ou les habiletés
pertinentes au contenu du cours pour lequel les exigences
de qualification pour l'enseignement (EQE) sont adoptées.
CAFF
6403 - Informatique appliquée