Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens. A formal approach to model refactoring and model refinement. Software and Systems Modeling, 6(2):139-162, 2007. [doi]
@article{StraetenJM07,
title = {A formal approach to model refactoring and model refinement},
author = {Ragnhild Van Der Straeten and Viviane Jonckers and Tom Mens},
year = {2007},
doi = {10.1007/s10270-006-0025-9},
url = {http://dx.doi.org/10.1007/s10270-006-0025-9},
tags = {model-to-model transformation, transformation engineering, meta-model, modeling, protocol, refinement, model refactoring, refactoring, UML, source-to-source, software engineering, model-driven engineering, model transformation, sequence diagrams, consistency, logic, Meta-Environment, state machines, higher-order transformations, model refinement, systematic-approach, transformation},
researchr = {https://researchr.org/publication/StraetenJM07},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {6},
number = {2},
pages = {139-162},
}