Requirements expression and verification aid

Authors:
Sharon A. Stephens;Leonard L. Tripp
Affiliations:
-;-
Venue:
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Year:
1978

Citing 4
Cited 6

A Theorem on Boolean Matrices

Journal of the ACM (JACM)
Structured Systems Analysis: Tools and Techniques

Structured Systems Analysis: Tools and Techniques
PSL/PSA a computer-aided technique for structured documentation and analysis of information processing systems

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software design validation tool

Proceedings of the international conference on Reliable software

Contemporary software development environments

Communications of the ACM
Prototyping as a tool in the specification of user requirements

ICSE '81 Proceedings of the 5th international conference on Software engineering
Contemporary software development environments

ACM SIGSOFT Software Engineering Notes
Software environment research: the next five years

ACM SIGSOFT Software Engineering Notes
Determining an organization's information requirements: a state of the art survey

ACM SIGMIS Database
The DSS development system

AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference

Quantified Score

Hi-index	0.02

Visualization

Abstract

SAMM is a top-down dominated activity modeling technique which has a representation scheme which has been automated. The automation, called SAMDF, validates the input, verifies the model, and produces a document illustrating the functional relationships of the system being modeled. SAMMDF significantly enhances the perception of system requirements, and it is this perception that benefits the design produced from the requirements.