Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Frédéric Jouault

Mots clés

FR |

EN

Génie logiciel

Ingénierie dirigée par les modèles

Logiciels -- Réingénierie

Transformation de modèles

Programmation par contraintes

Interprétation

Vérification formelle

Systèmes embarqués

Logiciels -- Développement

UML (informatique)

Systèmes embarqués (informatique)