Etienne Borde
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Temps réel (informatique)
Systèmes temps réel
Reconfiguration (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,IDM
Exploration
Sûreté
Optimisation