The top documents tagged [class hierarchy constraints]

Efficient Reasoning on Finite Satisfiability in UML Class Diagrams

---

23 views

Efficient Reasoning on Finite Satisfiability in UML Class Diagrams

---

20 views

Efficient Reasoning on Finite Satisfiability in UML Class Diagrams Azzam Maraee Victor Makarenkov Mira Balaban.

---

214 views