IFT722 - Génie logiciel

programmes offrant cette activité pédagogique (cours)

Doctorat en informatique

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Faculté/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.