Login / Signup

Finite satisfiability of UML class diagrams with constrained class hierarchy.

Mira BalabanAzzam Maraee
Published in: ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases
  • class hierarchy
  • uml class diagrams
  • class diagrams
  • uml diagrams
  • class diagram
  • description logics
  • np complete
  • open source
  • distributed systems
  • process model
  • reasoning systems