Login / Signup

Finite model reasoning on UML class diagrams via constraint programming.

Marco CadoliDiego CalvaneseGiuseppe De GiacomoToni Mancini
Published in: Intelligenza Artificiale (2013)
Keyphrases
  • constraint programming
  • constraint satisfaction problems
  • constraint propagation
  • high level
  • objective function
  • conceptual model