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