Login / Signup

Towards the Mechanized Semantics and Refinement of UML Class Diagrams.

Feng ShengHuibiao ZhuZongyuan Yang
Published in: APSEC (2019)
Keyphrases
  • uml class diagrams
  • class diagrams
  • description logics
  • class diagram
  • uml diagrams
  • open source
  • metadata