| タイトル | Development and validation of techniques for improving software dependability |
| 本文（外部サイト） | http://hdl.handle.net/2060/19920016829 |
| 著者（英） | Knight, John C. |
| 著者所属（英） | Virginia Univ. |
| 発行日 | 1992-06-01 |
| 言語 | eng |
| 内容記述 | A 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. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 92N26072
NASA-CR-190361
NAS 1.26:190361
UVA/528344/CS92/102 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/126921 |
