ECTS
4
Établissement
INP - ENSEEIHT
Description
Cette UE introduit les concepts fondamentaux et les méthodes formelles permettant de modéliser, analyser et raisonner sur des systèmes complexes. Elle couvre trois axes complémentaires :
- Systèmes de transition : modélisation formelle du comportement des systèmes dynamiques.
- Ingénierie dirigée par les modèles : abstraction, transformation et automatisation du développement logiciel.
- Science des réseaux et intelligence artificielle : analyse structurelle des réseaux complexes et applications en IA.
L’objectif est de fournir aux étudiants des outils conceptuels et pratiques pour analyser des modèles issus de systèmes informatiques complexes.