ECTS
4
Établissement
INP - ENSEEIHT
Liste des enseignements
Systèmes de transition
Établissement
INP - ENSEEIHT
- Systèmes de transitions. Traces et exécutions.
- Notion d'équité des exécutions.
- Spécification en logique(s) temporelle(s). Linear Temporal Logic et Computational Tree Logic.
- Introduction aux techniques de vérification de modèles.
Ingénierie Dirigée par les Modèles
Établissement
INP - ENSEEIHT
Sur un exemple fil rouge, les différents concepts et outils de l'IDM (Ingénierie Dirigée par les Modèles) sont présentés : métamodélisation (EMF), sémantique statique (OCL), syntaxe concrètes textuelle (Xtext) et graphique (Sirius), transformations de modèle à texte (Acceleo), transformations de modèles à modèles (EFM/Java et ATL).
Science des Réseaux et IA
Établissement
INP - ENSEEIHT