Back to Search Start Over

A COMPARISON OF TECHNIQUES FOR THE SPECIFICATION OF EXTERNAL SYSTEM BEHAVIOR.

Authors :
Davis, Alan M.
Source :
Communications of the ACM; Sep88, Vol. 31 Issue 9, p1098-1115, 18p, 28 Diagrams
Publication Year :
1988

Abstract

Discusses techniques designed to reduce ambiguity, inconsistency and incompleteness in a Software Requirements Specification (SRS) document in software engineering. Phases of the development process; Terms used to denote the writing of an SRS; Formal models to specify a product's external behavior.

Subjects

Subjects :
SOFTWARE engineering
COMPUTER software
TECHNICAL specifications

Details

Language :
English
ISSN :
00010782
Volume :
31
Issue :
9
Database :
Complementary Index
Journal :
Communications of the ACM
Publication Type :
Periodical
Accession number :
5562147
Full Text :
https://doi.org/10.1145/48529.48534
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details