Advanced Computing Systems: An Advanced Reasoning-Based Development Paradigm for Ada Trusted Systems and Its Application to MACH
Abstract
Contents: 1) Introduction; 2) Objectives and Basis of the Process Model; 3) Motivations (Drivers) and Constraints of the Process Model; 4) Overview of Primary Risk Issues; 5) Elements of the Process Model; 6) Process Model in the Lifecycle. Keywords: Risk management, Software engineering prototypes.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 15, 1989
- Accession Number
- ADA206308