@inproceedings{yie2009advanced, | |
title={{Advanced traceability for ATL}}, | |
author={Yie, Andr{\'e}s and Wagelaar, Dennis}, | |
booktitle={1st International Workshop on Model Transformation with ATL}, | |
pages={78--87}, | |
year={2009} | |
} | |
@inproceedings{jouault2006transforming, | |
title={{Transforming models with ATL}}, | |
author={Jouault, Fr{\'e}d{\'e}ric and Kurtev, Ivan}, | |
booktitle={Satellite Events at the MoDELS 2005 Conference}, | |
pages={128--138}, | |
year={2006}, | |
organization={Springer} | |
} | |
@inproceedings{jouault2005loosely, | |
title={{Loosely coupled traceability for ATL}}, | |
author={Jouault, Fr{\'e}d{\'e}ric}, | |
booktitle={Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, Nuremberg, Germany}, | |
volume={91}, | |
year={2005}, | |
organization={Citeseer} | |
} | |
@inproceedings{liskovSubstitutionPrinciple, | |
title={{Keynote address - data abstraction and hierarchy}}, | |
author={Liskov, Barbara}, | |
booktitle={ ACM SIGPLAN Notices 23 (5)}, | |
pages={17--34}, | |
year={1988}, | |
organization={ACM} | |
} | |
@incollection{kolovos2008epsilon, | |
title={{The Epsilon transformation language}}, | |
author={Kolovos, Dimitrios S and Paige, Richard F and Polack, Fiona AC}, | |
booktitle={Theory and Practice of Model Transformations}, | |
pages={46--60}, | |
year={2008}, | |
publisher={Springer} | |
} | |
@inproceedings{falleri2006towards, | |
title={{Towards a traceability framework for model transformations in kermeta}}, | |
author={Falleri, Jean-R{\'e}my and Huchard, Marianne and Nebut, Cl{\'e}mentine and others}, | |
booktitle={ECMDA-TW'06: ECMDA Traceability Workshop}, | |
pages={31--40}, | |
year={2006} | |
} | |
@inproceedings{lawley2006practical, | |
title={[Practical declarative model transformation with Tefkat}}, | |
author={Lawley, Michael and Steel, Jim}, | |
booktitle={Satellite Events at the MoDELS 2005 Conference}, | |
pages={139--150}, | |
year={2006}, | |
organization={Springer} | |
} | |
@article{aranega2011using, | |
title={{Using an alternative trace for QVT}}, | |
author={Aranega, Vincent and Etien, Anne and Dekeyser, Jean-Luc}, | |
journal={Electronic Communications of the EASST}, | |
volume={42}, | |
year={2011} | |
} | |
@incollection{taentzer2004agg, | |
title={{AGG: A graph transformation environment for modeling and validation of software}}, | |
author={Taentzer, Gabriele}, | |
booktitle={Applications of Graph Transformations with Industrial Relevance}, | |
pages={446--453}, | |
year={2004}, | |
publisher={Springer} | |
} | |
@phdthesis{varro2003viatra, | |
title={{VIATRA: visual automated model transformation}}, | |
author={Varr{\'o}, D}, | |
year={2003}, | |
school={Thesis, Department of Measurement and Information Systems, University of Technology and Economics, Budapest} | |
} | |
@article{agrawal2003graph, | |
title={{Graph transformations on domain-specific models}}, | |
author={Agrawal, Aditya and Karsai, Gabor and Shi, Feng}, | |
journal={Journal on Software and Systems Modeling}, | |
year={2003} | |
} | |
@article{emf, | |
title={{EMF: Eclipse Modeling Framework (2nd Edition)}}, | |
author={Steinberg, Dave and Budinsky, Frank and Paternostro, Marcelo and Merks, Ed }, | |
journal={Addison-Wesley}, | |
year={2009} | |
} | |
@article{QVT-1.1, | |
title={{Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1 - January 2011}}, | |
author={OMG}, | |
journal={OMG Document Number: formal/2011-01-01}, | |
year={2011} | |
} | |
@article{dBc, | |
title={{Design by Contract}}, | |
author={Meyer, Bertrand}, | |
journal={Technical Report TR-EI-12/CO, Interactive Software Engineering Inc.}, | |
year={1986} | |
} | |
@article{ruleInheritance, | |
title={{Surveying Rule Inheritance in Model-to-Model Transformation Languages}}, | |
author={Wimmer, M and Kappel, G and Kusel, A and Retschitzegger, W and Sch\"onb\"ock, J and Schwinger, W and Kolovos, D and Paige, R and Lauder, M and Sch\"urr, A and Wagelaar, D}, | |
journal={Journal of Object Technology}, | |
volume={11}, | |
pages={1--46}, | |
year={2012} | |
} | |
@article{ChildStealing, | |
author={Willink, Edward}, | |
title={{QVT Traceability : What does it really mean?}}, | |
journal={https://www.eclipse.org/mmt/qvt/docs/ICMT2014/QVTtraceability.pdf}, | |
} | |