Le moteur de recherche
des thèses françaises
Dominique Blouin
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Systèmes embarqués (informatique)
Ingénierie des exigences
AADL (informatique)
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
Ingénierie Dirigée par les Modèles
Fédération de modèles
Métamodélisation
Génie logiciel