Electronic Proceedings in Theoretical Computer Science (Nov 2011)
Solving the TTC 2011 Model Migration Case with UML-RSDS
Abstract
In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.