Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.

Ana Gabriela Garis, Alcino Cunha, Daniel Riesco

Browse the full SEFM paper archive.