Applicability of SREM to the Verification of Management Information System Software Requirements. Volume II.
Abstract
This volume provides the appendices that accompany Volume I. Applicability of SREM to the Verification of Management Information System Software Requirements. It contains the following four Appendices: (1) Operation of REVS on the VAX System, (2) Regeneration of Requirements, (3) Application of RADX, and (4) Trouble Reports.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 30, 1981
- Accession Number
- ADA100721
Entities
People
- D. M. Sims
- J. T. Lawson
- M. W. Alford
- R. P. Loshbough
- T. R. Johnson