Formal Methods at NASA Goddard Space Flight Center

2006 ◽  
pp. 287-309 ◽  
Author(s):  
Christopher A. Rouff ◽  
James L. Rash ◽  
Michael G. Hinchey ◽  
Walter F. Truszkowski
Keyword(s):  
Formal Methods ◽  
Space Flight ◽  
Nasa Goddard Space ◽  
Goddard Space ◽  
Goddard Space Flight Center

scholarly journals Compendium of Single Event Effect Results from NASA Goddard Space Flight Center

2016 ◽  
Author(s):  
Martha V. O'Bryan ◽  
Kenneth A. LaBel ◽  
Carl M. Szabo ◽  
Dakai Chen ◽  
Michael J. Campola ◽  
...  
Keyword(s):  
Space Flight ◽  
Single Event ◽  
Nasa Goddard Space ◽  
Single Event Effect ◽  
Goddard Space ◽  
Goddard Space Flight Center

The Mobile Librarian Program at the NASA Goddard Space Flight Center

2010 ◽  
Vol 29 (4) ◽  
pp. 267-275
Author(s):  
Tonia Reynolds-Pope ◽  
Michael Chesnes ◽  
Charles Early
Keyword(s):  
Space Flight ◽  
Nasa Goddard Space ◽  
Goddard Space ◽  
Goddard Space Flight Center

Development of a Human Factors Methodology for Nasa-Goddard Space Flight Center

1983 ◽  
Vol 27 (12) ◽  
pp. 980-984 ◽  
Author(s):  
Paula M. Van Balen ◽  
Christine M. Mitchell
Keyword(s):  
Human Factors ◽  
Space Flight ◽  
Information Gathering ◽  
Computer Interface ◽  
Background Information ◽  
Human Computer Interface ◽  
Nasa Goddard Space ◽  
Factors Analysis ◽  
Goddard Space ◽  
Goddard Space Flight Center

NASA Goddard Space Flight Center, realizing the importance of the human-computer interface, has begun the process of integrating human factors considerations into system design. A methodology was needed to direct the process of incorporating human factors recommendations into the design process and to introduce human factors principles and procedures to Goddard projects. To gather necessary background information for an effective methodology, a diary was kept, recording the process of a Goddard human factors analysis. The diary technique was effective in identifying issues and steps relevant to the methodology. This paper describes and evaluates the diary as an information-gathering tool. Finally, the methodology is summarized and its effectiveness evaluated.

Space flight qualification on a novel five-fiber array assembly for the lunar orbiter laser altimeter (LOLA) at NASA Goddard Space Flight Center

2007 ◽  
Author(s):  
Xiaodan Linda Jin ◽  
Melanie N. Ott ◽  
Frank V. LaRocca ◽  
Richard F. Chuska ◽  
Steve M. Schmidt ◽  
...  
Keyword(s):  
Space Flight ◽  
Lunar Orbiter ◽  
Laser Altimeter ◽  
Fiber Array ◽  
Nasa Goddard Space ◽  
Goddard Space ◽  
Goddard Space Flight Center
Sign in / Sign up

Export Citation Format

Share Document