Inferring Declarative Requirements Specifications from Operational Scenarios.

Axel van Lamsweerde Laurent Willemet

Published in: IEEE Trans. Software Eng. (1998)

Keyphrases

functional requirements
attribute grammars
written in natural language
high level
user requirements
learning scenarios
decision making
delay insensitive
database
databases
multi agent
development process
application specific
formal specification