Scolarité
Deuxième cycle - 3,0 crédit(s)
Département
Département d'informatique et d'ingénierie
Objectifs
Permettre aux étudiants de maîtriser le processus de développement rigoureux et formel du logiciel. Lui permettre d’approfondir les techniques de spécification, validation et test formels du logiciel.
Contenu
Spécification et validation de besoins. Spécification de programmes séquentiels. Spécification de modules. Conception interne de modules et fonction d'abstraction. Étude et application de quelques langages formels. Spécification de programmes concurrents. Documentation produite à chaque étape du développement du logiciel. Étude et utilisation d’outils logiciels pour le développement formel du logiciel. Méthodes formelles de test. Méthodes formelles et méthodes informelles de validation de logiciels.
Exigences de qualification pour l'enseignement
Diplôme(s)
Doctorat dans un secteur lié spécifiquement au contenu du cours ou doctorat dans un secteur disciplinaire connexe au cours.
Expérience
Dans le cas d’un doctorat dans un secteur disciplinaire connexe au cours : expérience en recherche ou en intervention professionnelle dans un domaine lié au contenu du cours.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa 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
6609 - Génie informatique et logiciel