Integrating Semi-formal and Formal Requirements.

Roel J. Wieringa Eric Dubois Sander Huyts

Published in: CAiSE (1997)

Keyphrases

formal model
neural network
case study
data sets
user requirements
database
artificial intelligence
search engine
computer vision
knowledge base
data mining
optimal solution
data structure
learning environment
information technology
databases
formal specification
mathematical theory
requirements specification