143
Voted
IFM
2010
Springer
15 years 22 days ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...