qvt/docs/AMT2015/Traceability.bib

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