Toward bridging the gap between formal semantics and implementation of triple graph grammars
The correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal semantics exists and that the employed implemen...
| Main Authors: | , , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Universität Potsdam
2010
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-45219 http://opus.kobv.de/ubp/volltexte/2010/4521/ |