Formalism and Informality in RE.

Michael Jackson

Published in: RE (2001)

Keyphrases

knowledge representation
computational properties
formal model
search engine
decision trees
case study
real time
data mining
artificial intelligence
computational complexity
special case
first order logic
conceptual graphs