IFT722 - Génie logiciel

Sommaire

Cycle: 2e cycle
Crédits: 3 crédits

Faculté ou centre: Faculté des sciences
Répartition de la charge de travail: 3-0-6

Cible(s) de formation

Se familiariser avec les problèmes contemporains du génie logiciel; connaître et comprendre les concepts et techniques propres au génie logiciel; approfondir un langage de spécification et une méthode de conception; s'initier à des outils logiciels en réalisant un projet de conception de systèmes.

Contenu

Environnement de développement. Méthodes de modélisation et de spécification de systèmes. Validation et vérification de spécifications. Outils logiciels. Programmation automatique et outils logiciels à base de connaissances. Méthodes de conception. Comparaison de méthodes. Prototypage. Réutilisation du logiciel.