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.