Translating between Alloy specifications and UML class diagrams annotated with OCL

Alcino Cunha, Ana Gabriela Garis, Daniel Riesco. Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and Systems Modeling, 14(1):5-25, 2015. [doi]

No reviews for this publication, yet.