DMCA

Software and Systems Modeling manuscript No. (will be inserted by the editor) Translating between Alloy Specifications and UML Class Diagrams Annotated with OCL

Cached

Download Links

by Alcino Cunha , Ana Garis , Daniel Riesco , Alcino Cunha , Ana Garis , Daniel Riesco