Xavier Crégut
Mots clés
FR |
EN
Génie logiciel
Langages de modélisation dédiés
Métamodélisation exécutable
Modèles de concurrence
Sémantique opérationnelle
Modèles linguistiques
Systèmes informatiques
Langages de programmation
Conception orientée objets (informatique)
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