| タイトル | Expert system verification concerns in an operations environment |
| 本文（外部サイト） | http://hdl.handle.net/2060/19880007850 |
| 著者（英） | Robertson, Charles C.; Goodwin, Mary Ann |
| 著者所属（英） | Rockwell Shuttle Operations Co. |
| 発行日 | 1987-10-01 |
| 言語 | eng |
| 内容記述 | The Space Shuttle community is currently developing a number of knowledge-based tools, primarily expert systems, to support Space Shuttle operations. It is proposed that anticipating and responding to the requirements of the operations environment will contribute to a rapid and smooth transition of expert systems from development to operations, and that the requirements for verification are critical to this transition. The paper identifies the requirements of expert systems to be used for flight planning and support and compares them to those of existing procedural software used for flight planning and support. It then explores software engineering concepts and methodology that can be used to satisfy these requirements, to aid the transition from development to operations and to support the operations environment during the lifetime of expert systems. Many of these are similar to those used for procedural hardware. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 88N17234 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/147285 |
