Formal Requirements Made Practical.

Jacques Hagelstein Dominique Roelants Pierre L. Wodon

Published in: ESEC (1993)

Keyphrases

real world
user requirements
neural network
artificial intelligence
information systems
practical application
formal specification
search engine
computer vision
decision making
three dimensional
digital libraries
general purpose
formal analysis
functional requirements
mathematical foundations