Login / Signup

QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.

Hao Wu
Published in: FASE (2022)
Keyphrases
  • uml class diagrams
  • class diagram
  • class diagrams
  • uml diagrams
  • database
  • query processing
  • description logics
  • artificial intelligence
  • software design
  • sequence diagrams
  • constraint satisfaction
  • design patterns