Requirements and Specification Exemplars.

Martin S. Feather Stephen Fickas Anthony Finkelstein Axel van Lamsweerde

Published in: Autom. Softw. Eng. (1997)

Keyphrases

information systems
asynchronous circuits
neural network
multiscale
application specific
formal specification
user requirements
specification language
data sets
high level
learning environment