| @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 andMerks, 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} | |
| } |