ASSET: A life cycle verification and visibility system
- 31 December 1980
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 1, 77-86
- https://doi.org/10.1016/0164-1212(79)90007-4
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- DISSECT—A Symbolic Evaluation and Program Testing SystemIEEE Transactions on Software Engineering, 1978
- HAL/S - The Avionics Programming System for ShuttlePublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- Fast algorithms for the elimination of common subexpressionsActa Informatica, 1973
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Chief programmer team management of production programmingIBM Systems Journal, 1972