IGL720 - Outils fondamentaux pour le 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

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.