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