Virtual agents in a simulated virtual training environment
Design of an Ada expert system shell for the VHSIC avionic modular flight processor
New developments in astrodynamics algorithms for autonomous rendezvous
NASA/Ames Research Center DC-8 data system
CLEAR: Automating control centers with expert system technology
ACES: Space shuttle flight software analysis expert system
Operational computer graphics in the flight dynamics environment
Sophisticated software systems for small self-contained space shuttle payload G285
A NASA initiative: Software engineering for reliable complex systems
Lessons learned: Managing the development of a corporate Ada training project
Empirical research on the design process: The field study
Data diversity: An approach to fault-tolerant software
An experimental comparison of FORTRAN and Ada program reliability
Fault-tolerant software - Experiment with the sift operating system
When and how to use a software reliability model
Observations based on development of a computer aided design system
Formalizing New Navigation Requirements for NASA's Space Shuttle
Reusable, extendible flight software for a planetary spacecraft prototype testbed
The Cassini spacecraft: Object oriented flight control software
Marshall Space Flight Center's Virtual Reality Applications Program 1993
Multidisciplinary analyses of segmented reflector telescopes
Formal specification and verification of Ada software
Results of prototype software development for automation of shuttle proximity operations
Results of prototype software development for automation of shuttle proximity operations
Perspectives on NASA flight software development - Apollo, Shuttle, Space Station
Experiences with Ada in an embedded system
Fuzzy logic operators and neuron activation fields
Expert system isssues in automated, autonomous space vehicle rendezvous
TES: A modular systems approach to expert system development for real time space applications
Visible connections: The open architecture of the software through Pictures environment
Automatic software for controlling cryogenic systems
Measuring Ada as a software development technology in the Software Engineering Laboratory (SEL)
NASA space station software standards issues
Measuring the development process: A tool for software design evaluation
Investigating software development approaches: A synopsis
Measurement and evaluation of software development: Software cost data base
Designing robust control laws using genetic algorithms
A graphical user-interface for propulsion system analysis
The effects of a dynamic graphical model during simulation-based training of console operation skill
Johnson Space Center CFD grid generation requirements
Geometric requirements for multidisciplinary analysis of aerospace-vehicle design
Validating system-level error recovery for spacecraft