| タイトル | Component Verification and Certification in NASA Missions |
| 本文（外部サイト） | http://hdl.handle.net/2060/20010095034 |
| 著者（英） | Giannakopoulou, Dimitra; Penix, John; Norvig, Peter |
| 著者所属（英） | NASA Ames Research Center |
| 発行日 | 2001-01-07 |
| 言語 | eng |
| 内容記述 | Software development for NASA missions is a particularly challenging task. Missions are extremely ambitious scientifically, have very strict time frames, and must be accomplished with a maximum degree of reliability. Verification technologies must therefore be pushed far beyond their current capabilities. Moreover, reuse and adaptation of software architectures and components must be incorporated in software development within and across missions. This paper discusses NASA applications that we are currently investigating from these perspectives. |
| NASA分類 | Computer Programming and Software |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/225823 |
