ECTS
4 crédits
Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
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.