Login / Signup

QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants.

Hao Wu
Published in: Sci. Comput. Program. (2023)
Keyphrases
  • uml class diagrams
  • class diagrams
  • uml diagrams
  • class diagram
  • description logics
  • database
  • design patterns
  • software design
  • software artifacts