Jean-Marie Mottu
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Tests
Logiciels -- Vérification
Cloud Computing
Élasticité
Test pendant l’élasticité
Contrôlabilité
Informatique dans les nuages
Systèmes virtuels (informatique)
Compilation (informatique)
Transformation de modèles
Oracles
Qualification
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)