Related Documents:

Revised Draft NASA-STD-8739.9 SOFTWARE FORMAL INSPECTIONS STANDARD [PDF]

Blank Comment Matrix [MS_Excel]

Comments are due back to Alfredo E. Colon by by COB, Friday, May 17, 2013.

Draft NASA-STD 8739.9 SOFTWARE FORMAL INSPECTIONS STANDARD

Draft NASA-STD 8739.9 SOFTWARE FORMAL INSPECTIONS STANDARD [with Red Lines]

NASA-GB-001-94 NASA Software Measurement Guidebook .
NASA-GB-001-95 NASA Software Process Improvement Guidebook.
NASA-GB-001-96 NASA Software Management Guidebook .
NASA-GB-001-97 Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practioner's Companion.
NASA/TP-98-208193 Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion.
NASA-GB-8719.13 NASA Software Safety Guidebook
NASA-GB-A201 Software Assurance Guidebook.
NASA-GB-A301 Software Quality Assurance Audits Guidebook.