A Formal Approach to Model Refactoring and Model Refinement

Research output: Contribution to journal › Article › peer-review

35 Citations (Scopus)

To appear in Journal on Software and System Modeling, Springer

Keywords

@article{cbb7121b63a148fb82e480ba70dc314a,

title = "A Formal Approach to Model Refactoring and Model Refinement",

keywords = "Model Driven Engineering, UML 2.0, Description Logics, Model refinement, model refactoring, behaviour preservation",

author = "{Van Der Straeten}, Ragnhild and Viviane Jonckers and Tom Mens",

note = "To appear in Journal on Software and System Modeling, Springer",

year = "2007",

month = jun,

language = "English",

volume = "6",

pages = "139--162",

journal = "Software & Systems Modeling",

issn = "1619-1366",

publisher = "Springer Verlag",

number = "Special Issue UML2004",

}

TY - JOUR

T1 - A Formal Approach to Model Refactoring and Model Refinement

AU - Van Der Straeten, Ragnhild

AU - Jonckers, Viviane

AU - Mens, Tom

N1 - To appear in Journal on Software and System Modeling, Springer

PY - 2007/6

Y1 - 2007/6

KW - Model Driven Engineering

KW - UML 2.0

KW - Description Logics

KW - Model refinement

KW - model refactoring

KW - behaviour preservation

M3 - Article

VL - 6

SP - 139

EP - 162

JO - Software & Systems Modeling

JF - Software & Systems Modeling

SN - 1619-1366

IS - Special Issue UML2004

ER -