Sign in

CJAdviser: SMT-based debugging support for ContextJ.

Shizuka UchioNaoyasu UbayashiYasutaka Kamei
Published in: COP@ECOOP (2011)
Keyphrases
  • database
  • knowledge management
  • decision support
  • information retrieval
  • decision trees
  • case study
  • learning scenarios