Une approche formelle de l'interopérabilité pour une famille de langages dédiés
Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00466580 http://tel.archives-ouvertes.fr/docs/00/46/65/80/PDF/These.pdf |