Reengineering DOD-STD-2167A Requirements Specifications
Abstract
This final report covered work in two steps: (1) Design of the automatic system for generating DoD-STD-2167A Software Specifications from the respective software Ada code; and (2) Implementation of this system. The first step was concluded and documented in a technical report titled, 'Automatic Reverse Engineering of Software to Confirm/Update Requirements Specifications', June 1993. This report describes the second step, of implementing the automatic system and using it to process the software of an Avionics software system. The report describes the input Avionics software the output of generated documents of the Avionics software and a guide to persuing the produced documentation.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1994
- Accession Number
- ADA284409