Cet enseignement a pour objectif de présenter l'ingénierie des modèles (ou ingénierie
dirigée par les modèles (IDM), model-driven engineering (MDE), model-driven architecture
(MDA)...).
- Enseignant: Mohamed Lamine Kerdoudi
Ce cours a pour but de présenter les outils de simulation des systèmes dynamiques sur la base des modèles déterministes et probabilistes; à savoir les modèles mathématiques, les automates à états fins, les automates cellulaires, les chaînes de Markov et la réseaux bayésiens.
- Enseignant: Salim Bitam
L'objectif de ce cours est de présenter des techniques et des outils automatiques utilisés dans le domaine de la vérification formelle. Le contenu est un ensemble d'exposés qui traitent des techniques (Logique temporelle, génération d'automate de Büchi) et aussi des outils comme UPPAAL et SPIN. Le contenu aussi traite des TPs réalisés dans le module.
- Enseignant: Laid Kahloul
Cours d'introduction à la théorie de calculabilité et décidabilité.
- Enseignant: Okba Tibermacine
C'est le deuxième chapitre qui concerne les Réseaux de Petri.
il présente les concepts de base de façon informelle et ensuite formelle. les techniques d'analyse sont présentées en deuxième phase.
- Enseignant: Hammadi Bennoui
- Enseignant: Amira Mohammedi
Ce cours a pour but d'initier les STR.
- Enseignant: Salim Bitam