NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Development and validation of techniques for improving software dependabilityA collection of document abstracts are presented on the topic of improving software dependability through NASA grant NAG-1-1123. Specific topics include: modeling of error detection; software inspection; test cases; Magnetic Stereotaxis System safety specifications and fault trees; and injection of synthetic faults into software.
Document ID
19920016829
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Knight, John C. (Virginia Univ. Charlottesville, VA, United States)
Date Acquired
September 6, 2013
Publication Date
June 1, 1992
Subject Category
Computer Programming And Software
Report/Patent Number
NASA-CR-190361
NAS 1.26:190361
UVA/528344/CS92/102
Report Number: NASA-CR-190361
Report Number: NAS 1.26:190361
Report Number: UVA/528344/CS92/102
Accession Number
92N26072
Funding Number(s)
CONTRACT_GRANT: NAG1-1123
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available