|
NASA
STD 2202-93
Software Formal Inspections Standard
|
Revision Level: Initial
Effective Date: 4/93
Revalidated: 3/29/01
Scheduled Review Date: 3/29/06 |
|
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.
|
Compliance Verification Brochure: To be developed
|
|
Checklists/Guidelines:
To be developed
|
|
Point
of contact for additional information: Pat
Schuler / NASA Langley Research Center
|
|
This
page was updated on May 3, 2005
|