Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations

Dyck, Johannes; Giese, Holger; Lambers, Leen; Schlesinger, Sebastian; Glesner, Sabine

by Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner

Reference:

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, 2015.

Bibtex Entry:

@InProceedings{Dyck+15,
AUTHOR = {Dyck, Johannes and Giese, Holger and Lambers, Leen and Schlesinger, Sebastian and Glesner, Sabine},
TITLE = {{Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations}},
YEAR = {2015},
BOOKTITLE = {Fourth Workshop on the Analysis of Model Transformations},
SERIES = {CEUR Workshop Proceedings},
URL = {http://msdl.cs.mcgill.ca/conferences/AMT/papers/AMT_2015_paper_7.pdf},
OPTacc_url = {},
PDF = {uploads/pdf/Dyck+15.pdf}
}