ASSET: A life cycle verification and visibility system

Authors:
Leon J. Osterweil;John R. Brown;Leon G. Stucki
Affiliations:
Department of Computer Science, University of Colorado, Boulder, ColoradoU.S.A.;Boeing Computer Services Company, Space and Military Applications Division, Seattle, WashingtonU.S.A.;Boeing Computer Services Company, Space and Military Applications Division, Seattle, WashingtonU.S.A.
Venue:
Journal of Systems and Software
Year:
1984

Citing 17
Cited 0

An Assessment of Techniques for Proving Program Correctness

ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability

ACM Computing Surveys (CSUR)
A program data flow analysis procedure

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM
Algorithm 447: efficient algorithms for graph manipulation

Communications of the ACM
Software research in the Department of Defense

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Managing the development of reliable software

Proceedings of the international conference on Reliable software
Automated aids fob reliable software

Proceedings of the international conference on Reliable software
A view of program verification

Proceedings of the international conference on Reliable software
DISSECT A Symbolic Evaluation and Program Testing System

IEEE Transactions on Software Engineering
Structured Analysis for Requirements Definition

IEEE Transactions on Software Engineering
A Requirements Engineering Methodology for Real-Time Processing Requirements

IEEE Transactions on Software Engineering
A System to Generate Test Data and Symbolically Execute Programs

IEEE Transactions on Software Engineering
The economics of software quality assurance

AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Experiments with a symbolic evaluation system

AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Some experience with DAVE: a Fortran program analyzer

AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Chief programmer team management of production programming

IBM Systems Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the Automated Systems and Software Engineering Technology (ASSET) System, a system of techniques and tools aiding in the management and control of product development and maintenance. Improved verification techniques are applied throughout the entire life cycle and management visibility is greatly enhanced. The paper discusses the critical need for improving upon past and present management methodology, and describes the ASSET verification methodology, the ASSET system architecture, and the current ASSET development status.