NASA-STD-8739.9
SOFTWARE FORMAL INSPECTIONS STANDARD
Revision Level: Initial
Approved: 06-17-2013
Superseding NASA-STD-2202-93
Note: Clicking on this link will open a new browser window

Related Documents:

 


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.

 Checklists/Guidelines:  To be developed  
Point of contact for additional information: Martha Wetherholt/SARD/HQ/NASA
 This page was updated on June 24, 2013