Erwan Bousse
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Trace d'exécution
Langage de modélisation dédié
Exécution de modèles
Clonage de modèles
Débogage omniscient
Logiciels -- Vérification
Logiciels -- Validation
Ingénierie dirigée par les modèles (IDM)
Langage de modélisation dédié (LMD)
Tests de modèles
Mesure de la qualité des tests
Débogage des tests
Amplification des tests
Langages dédiés (informatique)
Débogage
Tests