Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL contracts for the verification of model transformations. ECEASST, 24, 2009. [doi]
@article{CariouBBD09,
title = {OCL contracts for the verification of model transformations},
author = {Eric Cariou and Nicolas Belloir and Franck Barbier and Nidal Djemam},
year = {2009},
url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/326},
tags = {model-to-model transformation, OCL, contracts, meta-model, source-to-source, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/CariouBBD09},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {24},
}