Login / Signup

A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.

Hao Wu
Published in: J. Object Technol. (2022)
Keyphrases
  • uml class diagrams
  • class diagrams
  • query processing
  • uml diagrams
  • database
  • description logics
  • class diagram
  • software design
  • data sources
  • lightweight