MSCS:

Special issue on

Advances in Algebraic Foundations of Structure Transformation

 

Camera ready version of submission 7

 

 

Paper title

Formal Analysis of Model Transformations

Based on Triple Graph Grammars

PDF-File

http://user.cs.tu-berlin.de/~tfs/publikationen/Papers12/HEGO12/HEGO12-2012-01.pdf

 

TEX-Files

http://user.cs.tu-berlin.de/~tfs/publikationen/Papers12/HEGO12/sources_HEGO12-2012-01.zip

 

Main TEX-File

main.tex

Authors

Frank Hermann

frank@cs.tu-berlin.de

Fak. IV, TU Berlin

Sekr. FR 6-1

Franklinstr. 28/29

10587 Berlin

Germany

 

Hartmut Ehrig

ehrig@cs.tu-berlin.de

Fak. IV, TU Berlin

Sekr. FR 6-1

Franklinstr. 28/29

10587 Berlin

Germany

 

Ulrike Golas

golas@zib.de

Konrad-Zuse-Zentrum für Informationstechnik Berlin
Takustr. 7
14195 Berlin

Germany

 

Fernando Orejas

orejas@lsi.upc.edu

Universitat Politècnica de Catalunya
Departament de Llenguatges i Sistemes Informàtics
Campus Nord, Omega
Jordi Girona 1-3
E-08034 Barcelona, Spain

Corresponding author for the galley proofs

Frank Hermann