Login / Signup

Translating between Alloy specifications and UML class diagrams annotated with OCL.

Alcino CunhaAna Gabriela GarisDaniel Riesco
Published in: Softw. Syst. Model. (2015)
Keyphrases
  • uml class diagrams
  • class diagram
  • class diagrams
  • uml diagrams
  • description logics
  • high level
  • database
  • relational databases
  • open source
  • petri net
  • constraint programming
  • reverse engineering