dc.contributor.author |
Feather, M. |
en_US |
dc.contributor.author |
Smith, B. |
en_US |
dc.date.accessioned |
2004-09-25T17:41:50Z |
|
dc.date.available |
2004-09-25T17:41:50Z |
|
dc.date.issued |
1998-12-02 |
en_US |
dc.identifier.citation |
Annual Software Engineering Workshop |
en_US |
dc.identifier.citation |
NASA/Goddard, Maryland, U.S.A. |
en_US |
dc.identifier.clearanceno |
98-1882 |
en_US |
dc.identifier.uri |
http://hdl.handle.net/2014/20798 |
|
dc.description.abstract |
We have introduced and used significant automation during the verification and validation (V & V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V & V setting. |
en_US |
dc.format.extent |
770887 bytes |
|
dc.format.mimetype |
application/pdf |
|
dc.language.iso |
en_US |
|
dc.subject.other |
planning testing NASA automation autonomy verification validation autonomous planner |
en_US |
dc.title |
V & V of A Spacecrafts Autonomous Planner Through Extended Automation |
en_US |