Elements Underlying the Specification of Requirements.

Alan M. Davis Kathleen Jordan Tsuyoshi Nakajima

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

Keyphrases

high level
application specific
formal specification
requirements analysis
databases
formal methods
functional requirements
data sets
social networks
mobile robot
general purpose
user defined
specification language
temporal ordering
metadata elements