A comprehensive approach to requirements problems
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- Principles of good software specification and their implications for specification languagesPublished by Association for Computing Machinery (ACM) ,1981
- Design of an Adaptive, Parallel Finite-Element SystemACM Transactions on Mathematical Software, 1979
- An Extendable Approach to Computer-Aided Software Requirements EngineeringIEEE Transactions on Software Engineering, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977