Verifying and Validating Software Requirements and Design Specifications
- 1 January 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 1 (1) , 75-88
- https://doi.org/10.1109/ms.1984.233702
Abstract
These recommendation provide a good starting point for identifying and resolving software problems early in life cycle—when they're s relatively easy to handleKeywords
This publication has 8 references indexed in Scilit:
- Prototyping Versus Specifying: A Multiproject ExperimentIEEE Transactions on Software Engineering, 1984
- Rapid prototyping workshopACM SIGSOFT Software Engineering Notes, 1982
- Verifying SecurityACM Computing Surveys, 1981
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- 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
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976
- PDLPublished by Association for Computing Machinery (ACM) ,1975