Approche de métamodélisation pour la simulation et la vérification de modèle. Application à l'ingénierie des procédés
Nous proposons dans cette thèse une démarche permettant de décrire un DSML (Domain Specific Modeling Language) et les outils nécessaires à l'exécution, la vérification et la validation des modèles. La démarche que nous proposons offre une architecture générique de la syntaxe abstraite du DSML p...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2008
|
| Online Access: | http://oatao.univ-toulouse.fr/7721/1/combemale.pdf |