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]

Authors

Alcino Cunha

This author has not been identified. It may be one of the following persons: Look up 'Alcino Cunha' in Google

Ana Gabriela Garis

This author has not been identified. Look up 'Ana Gabriela Garis' in Google

Daniel Riesco

This author has not been identified. Look up 'Daniel Riesco' in Google