Login / Signup

SMT-based enumeration of object graphs from UML class diagrams.

Kenro YatakeToshiaki Aoki
Published in: ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
  • uml class diagrams
  • class diagrams
  • d objects
  • search space
  • object model
  • uml diagrams
  • knowledge base
  • multi agent systems
  • expert systems
  • np complete
  • data objects
  • class diagram