Login / Signup

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.

Ana Gabriela GarisAlcino CunhaDaniel Riesco
Published in: SEFM (2011)
Keyphrases
  • uml class diagrams
  • class diagram
  • class diagrams
  • uml diagrams
  • description logics
  • high level
  • software design
  • software artifacts
  • knowledge base
  • xml schema
  • address these issues