Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Elie Richa

Mots clés

FR |

EN

Génération automatique de code

Analyse de transformations de modèles

Transformation algébrique de graphe

Graphes imbriqués

Plus faible précondition

Oracles de tests model-to-text

Code source (informatique)

Logiciels -- Vérification