Claudia Pons, Diego García. An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. In Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, pages 646-660, Springer, 2006. [doi]
@inproceedings{PonsG06:0,
title = {An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE},
author = {Claudia Pons and Diego García},
year = {2006},
doi = {10.1007/11880240_45},
url = {http://dx.doi.org/10.1007/11880240_45},
tags = {OCL, rule-based, refinement, MDE, transformation},
researchr = {https://researchr.org/publication/PonsG06%3A0},
cites = {0},
citedby = {0},
pages = {646-660},
booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
volume = {4199},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-45772-0},
}