A comprehensive approach to requirements problems
Pamela Zave · 2005
This paper argues that system requirements should be specified in terms of an interpretable model, including non-logical (performance and resource) properties, of the system interacting with its environment. The specification language should be integrated with a methodology capable of using hierarchies and projections to decompose complexity, and covering analysis and design as well as requirements specification. A language embodying these ideas is described, and early experience with it is reported.