Software requirements and specifications: A survey of needs and languages
Authors:
- R.J. AbbottRAR.J. Abbott
- D.K. MoorheadDMD.K. Moorhead
- 1 December 1981
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 2 (4) , 297-316
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Database Foundation for Process Specifications1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Proof rules for the programming language EuclidActa Informatica, 1978
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE 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
- Software EngineeringIEEE Transactions on Computers, 1976
- Higher Order Software—A Methodology for Defining SoftwareIEEE Transactions on Software Engineering, 1976