Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Faiez
Zalila
IdRef
Mots clés
FR
|
EN
Ingénierie dirigée par les modèles (IDM)
Langage dédié de modélisation (DSML)
Vérification et validation (V V)
Object Constraint Language (OCL)
Vérification formelle
Vérification de modèle par exploration exhaustive
Sémantique translationnelle
Traçabilité
Remontée de vérification
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)