Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Saved in:
| Title: | Model synchronization based on triple graph grammars: correctness, completeness and invertibility. |
|---|---|
| Authors: | Hermann, Frank1, frank.hermann@uni.lu, Ehrig, Hartmut2, ehrig@cs.tu-berlin.de, Orejas, Fernando3, orejas@lsi.upc.edu, Czarnecki, Krzysztof4, kczarnec@gsd.uwaterloo.ca, Diskin, Zinovy4, zdiskin@gsd.uwaterloo.ca, Xiong, Yingfei, xiongyf@pku.edu.cn, Gottmann, Susann1, susann.gottmann@uni.lu, Engel, Thomas1, thomas.engel@uni.lu |
| Source: | Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p241-269, 29p |
| Database: | Applied Science & Technology Source |
| ISSN: | 16191366 |
|---|---|
| DOI: | 10.1007/s10270-012-0309-1 |
