Executable Requirements and Specifications.

Allan H. Anderson Gary A. Shaw

Published in: J. VLSI Signal Process. (1997)

Keyphrases

functional requirements
formal specification
attribute grammars
written in natural language
control flow
design requirements
software requirements
multiscale
search algorithm
test cases
user requirements
specification language
asynchronous circuits
concurrent systems