Software design validation tool

Authors:
Loren C. Carpenter;Leonard L. Tripp
Affiliations:
Boeing Computer Services, Inc., Seattle, Washington;Boeing Computer Services, Inc., Seattle, Washington
Venue:
Proceedings of the international conference on Reliable software
Year:
1975

Citing 2
Cited 6

On the use of transition diagrams in the design of a user interface for an interactive computer system

ACM '69 Proceedings of the 1969 24th national conference
An application of automata theory to the multiple level top down design of digital computer operating systems

An application of automata theory to the multiple level top down design of digital computer operating systems

Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)
Requirements expression and verification aid

ICSE '78 Proceedings of the 3rd international conference on Software engineering
A graph theoretic approach to the verification of program structures

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Managing the development of reliable software

Proceedings of the international conference on Reliable software
Software engineering

Classics in software engineering
Software Engineering

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

DECA is a computer program which is used in conjunction with a top-down dominated design methodology. The program organizes, validates, and produces a document depicting the design of a software system. The use of DECA significantly enhances the quality of the software design. The quality of the design in turn significantly benefits the quality of the implemented software system.