From UML to Alloy and Back Again

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12261-3_16 ◽

2010 ◽

pp. 158-171 ◽

Author(s):

Seyyed M. A. Shah ◽

Kyriakos Anastasakis ◽

Behzad Bordbar

Download Full-text