… refinement and model refactoring. Whenever such a transformation is applied … with respect to the original model, and behaviour preservation of a refactored model … model refactoring. A prototype plug-in in a UML CASE tool has been developed …
SoSyM, 6(2):139-162, 2007. [doi]… A model refactoring does not only need to ensure behavior preservation. First …). The consistency of model refactorings can be ensured by runtime checks. However …, refactoring rules describe which side-eects may take place on the model …
ICMT 2011: 123-137… , physical and virtual separation, and by describing refactorings in both directions. We prove the refactorings complete, such that every virtually separated … the feasibility of our approach, we have implemented the refactorings in our tool CIDE …
Technical Report 08, 2009.… , physical and virtual separation, and by describing refactorings in both directions. We prove the refactorings complete, such that every virtually separated … the feasibility of our approach, we have implemented the refactorings in our tool CIDE …
In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). 2009: