RT_BUILD: An expert programmer for implementing and simulating Ada real-time control software
Research into language concepts for the mission control center
Repository-Based Software Engineering Program: Redefining Adanet as a Mainstream NASA Source
Reducing the risks of using Ada onboard the Space Station
Quality Attributes for Mission Flight Software: A Reference for Architects
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems
Proceedings of the First NASA Ada Users' Symposium
Proceedings of the 2nd NASA Ada User's Symposium
Practical Application of Model-based Programming and State-based Architecture to Space Missions
Plan Execution Interchange Language (PLEXIL) Software User's Manual
Organising geometric computations for space telerobotics
Ontological Modeling for Integrated Spacecraft Analysis
Onboard autonomy software on the Three Corner Sat mission
Neurocognitive Approach to Robotic Cause-Effect Reasoning During Learning
NASA Software Configuration Management Guidebook
MUST - An integrated system of support tools for research flight software engineering
Multidisciplinary analyses of segmented reflector telescopes
Monthly Squadron Sortie Scheduling Model for Improved Combat Readiness
Missouri Pacific's Computerized Freight Car Scheduling System: Orientation Module
Mission Services Evolution Center Message Bus
Measuring Ada as a software development technology in the Software Engineering Laboratory (SEL)
MAPPER: A personal computer map projection tool
Lessons Learned from Autonomous Sciencecraft Experiment
Knowledge-based systems and NASA's software support environment
Knowledge Based System for Piloting an Autonomous Land Vehicle
Interesting viewpoints to those who will put Ada into practice
Intercity Transportation Effectiveness Model Documentation Volume VII. Computer Operator's Manual
Intelligent Archives in the Context of Knowledge Building Systems: Concepts for the Future