NASA-STD 2202-93
Software Formal Inspections Standard
Revision Level: Initial
Effective Date: April 1993
Revalidated March 29, 2001
Note: Clicking on this link will open a new browser window

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.

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