Dominique Blouin
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Ingénierie des exigences
AADL (informatique)
Ingénierie dirigée par les modèles
Génération automatique de code
Analyse de transformations de modèles
Test
Langage ATL
OCL
Transformation algébrique de graphe
Graphes imbriqués
Plus faible précondition
Oracles de tests model-to-text
Avionique
Code source (informatique)
Logiciels -- Vérification