Aller au contenu

IFT720 - Outils fondamentaux pour le génie logiciel

Présentation

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Faculté ou centre
Faculté des sciences

Cible(s) de formation

Connaître de manière approfondie les principaux outils mathématiques servant en génie logiciel, afin de pouvoir résoudre les problèmes théoriques et pratiques posés par les progrès de cette discipline; identifier les concepts classiques utilisés dans la modélisation des systèmes; analyser et évaluer les comportements des systèmes complexes.

Contenu

Étude approfondie des outils de modélisation. Théorie des modèles. Modèles de déduction naturelle. Logiques d'ordre supérieur et logiques typées. Modèles avancés de simulation. Étude approfondie des outils d'analyse. Preuves formelles. Techniques de réécriture. Schémas avancés de simulation et flux de contrôle. Approches d'évaluation et d'interprétation des simulations.