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)...).
- معلم: 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.
- معلم: 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.
- معلم: Laid Kahloul
Cours d'introduction à la théorie de calculabilité et décidabilité.
- معلم: 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.
- معلم: Hammadi Bennoui
Ce cours a pour but d'initier les STR.
- معلم: Salim Bitam