Login / Signup

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.

Azzam MaraeeMira Balaban
Published in: ECMDA-FA (2007)
Keyphrases
  • uml class diagrams
  • artificial intelligence
  • np complete
  • lightweight
  • database
  • multi agent systems