Login / Signup

From Domain to Requirements.

Dines Bjørner
Published in: Concurrency, Graphs and Models (2008)
Keyphrases
  • special case
  • domain specific
  • domain independent
  • artificial intelligence
  • database
  • neural network
  • decision trees
  • evolutionary algorithm
  • user requirements