| タイトル | Tools to aid the specification and design of flight software, appendix B |
| 本文（外部サイト） | http://hdl.handle.net/2060/19800021562 |
| 著者（英） | Bristow, G. |
| 著者所属（英） | Colorado Univ. |
| 発行日 | 1980-01-01 |
| 言語 | eng |
| 内容記述 | The tasks that are normally performed during the specification and architecture design stages of software development are identified. Ways that tools could perform, or aid the performance, of such tasks are also identified. Much of the verification and analysis that is suggested is currently rarely performed during these early stages, but it is believed that this analysis should be done as early as possible so as to detect errors as early as possible. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 80N30063
CU-CS-168-80-APP-B
NASA-CR-163420
RSSM/97-APP-B |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/171571 |
