Crégut, Xavier
VIAF ID: 198735576 ( Personal )
Permalink: http://viaf.org/viaf/198735576
Preferred Forms
- 100 1 _ ‡a Crégut, Xavier
- 100 1 _ ‡a Crégut, Xavier
Works
Title | Sources |
---|---|
Un environnement d'assistance rigoureuse pour la description et l'exécution de processus de conception : application à l'approche objet | |
Langages et modèles à objets : LMO'07 : actes LMO 2007, 27-29 mars 2007, Toulouse, France | |
Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. | |
Methods and tools for the integration of formal verification in domain-specific languages | |
A rigorous assistance environment for the description and enactment of design processes : application to object-oriented design. | |
Systematic use of models of concurrency in executable domain-specific modelling languages | |
Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. |