On the construction of specifications from requirements.

Zhi Li Jon G. Hall Lucia Rapanotti

Published in: WER (2011)

Keyphrases

functional requirements
application specific
written in natural language
user requirements
construction process
database systems
real time systems
design requirements
data sets
social networks
high level
formal specification