Browsing HVL Open by Author "Fabian, Büttner"
Now showing items 1-1 of 1
-
Verification of Graph-based Model Transformations Using Alloy
Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve (Peer reviewed; Journal article, 2014)Model transformations are fundamental in model driven development. Thus, verification of model transformations is indispensable to ensure the quality and the reliability of transformation results. In this paper we focus ...