NASA's exploration agenda and capability engineering

Computer

Volumn 39, Issue 1, 2006, Pages 63-73

  Cooke, Daniel E ^a   Barry, Matt ^b   Lowry, Michael ^c   Green, Cordell ^d  

^a Texas Tech University   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c NASA AMES RESEARCH CENTER   (United States)

^d KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DISPLAY DEVICES; JAVA PROGRAMMING LANGUAGE; LAPTOP COMPUTERS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

FLIGHT SYSTEMS; NATIONAL AERONAUTICS AND SPACE ADMINISTRATION (NASA); ONBOARD COMPUTER SOFTWARE; SOFTWARE SYSTEMS;

AEROSPACE ENGINEERING;

EID: 31944448161     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.27     Document Type: Article

References (9)

1. Defense Science Board, "Report of the Defense Science Board Task Force on Defense Software," Nov. 2000, Office of the Under Secretary of Defense for Acquisition and Technology, Washington, D.C.
2. A. Coglio and C. Green, "A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets," Proc. IFIP Working Conf. Verified Software: Tools, Techniques, and Experiments, 2006, to appear; vstte.ethz.ch/Files/coglio-green.pdf.
3. A. Coglio, "Toward Automatic Generation of Provably Correct Java Card Applets," Proc. 5th ECOOP Workshop Formal Techniques for Java-like Programs, 2003, tech. report 408, ETH Zürich, n.pag.; www.cs.ru.nl/ftfjp/2003/15.pdf.
4. "Specware User Manual," Kestrel Institute and Kestrel Technology LLC, 2004; www.Specware.org/doc.html.
5. D.E. Cooke and V. Kreinovich, "Automatic Concurrency in SequenceL," Science of Computer Programming, vol. 42, no. 1, 2002, pp. 115-128.
6. D.E. Cooke and J.N. Rushton, "Normalize, Transpose, and Distribute: A Basis for the Decomposition and Parallel Evaluation of Nonscalars," to be published in ACM Trans. Programming Languages and Systems, 2006.
7. D.E. Cooke and J.N. Rushton, "SequenceL - An Overview of a Simple Language," Proc. Int'l Conf. Programming Languages and Compilers (PLC 05), 2005, pp. 64-70.
8. D. Cooke et al., "Application of Model-Based Technology Systems for Autonomous Systems," Proc. InfotechΑerospace, AIAA-2005-7063, InfotechΑerospace, 2005.
9. D. Dvorak, R. Rasmussen, and T. Starbird, "State Knowledge Representation in the Mission Data System," Proc. 2002 IEEE Aerospace Conf., IEEE Press, 2002.