Software requirements and specifications: A survey of needs and languages

The Journal of Systems and Software

Volumn 2, Issue 4, 1981, Pages 297-316

  Abbott, R J ^a   Moorhead, D K ^a  

^a AEROSPACE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

COMPUTER SOFTWARE;

EID: 0019692762     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(81)90004-2     Document Type: Article

References (26)

1. A Requirements Engineering Methodology for Realtime Processing Requirements
2. Principles of Good Software Specification and Their Implications for Specification Language
3. Software Engineering
4. Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specification
5. Requirements Formulation for MIS Through System Sketching
6. A Database Foundation for Process Specifications
7. Report on the Language Gypsy-Version 2.0
8. Abstract Data Types and Software Validation
9. Higher Order Software—A Methodology for Defining Software
10. Software Requirements for the A-7E Aircraft (second printing)
11. Synchronization Specifications for Data Abstractions
12. Proof Rules for the Programming Language Euclid
13. Abstract Data Type Specification in the AFFIRM System
14. Structured Analysis (SA) A Language for Communicating Ideas
15. Structured Analysis for Requirements Definition
16. Proceedings: Specifications of Reliable Software
17. SRI International, Technical Report CSG-45
18. The ZOG approach to Man-Machine Communication
19. PSL/PSA A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
20. Specification Methods for Interactive Information Systems
21. Specifying Software Requirements