Welcome to the Kids' Library!

The development of a program analysis environment for Ada

Brown, David B., 1943-
Auburn, Ala. : College of Engineering & Engineering Experiment Station, Auburn University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989] 1989

Automated verification of specifications with typestates and access permissions

Siminiceanu, Radu I.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Development of a flight software testing methodology final report

McCluskey, Edward J., 1929-
Stanford, Calif. : Center for Reliable Computing, Stanford University ; [Washington, D.C. : National Aeronautics and Space Administration, 1985] 1985

A methodology for the design and verification of globally asynchronous/locally synchronous architect

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2005] 2005

NASA software engineering benchmarking study

Rarick, Heather L., author.
Washington, DC : National Aeronautics and Space Administration, 2013. 2013

Payload training methodology study (PTMS) final report

Marshall Space Flight Center, Ala. : Man Systems Integration Branch, Operations Development Division, Systems Analysis and Integration Laboratory, George C. Marshall Space Flight Center, [1990] 1987