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
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