INF1583 - Développement des systèmes informatiques

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.

Préalables

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