IFT720 - Outils fondamentaux pour le génie logiciel

À noter
Ce cours n'est plus offert à l'inscription depuis le 30 avril 2015.

Sommaire

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