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]

Abstract

Abstract is missing.