Working Group 11F Opening Comments NASA Planning for NASA's Future Ground Systems
Virtual agents in a simulated virtual training environment
VERSE - Virtual Equivalent Real-time Simulation
Verification and Validation of Autonomy Software at NASA
Verification and Validation of Autonomy Software at NASA
Validating system-level error recovery for spacecraft
UTM TCL 2.0 Software Version Description (SVD) Document
Using Modules with MPICH-G2 (and "Loose Ends")
Use of the Collaborative Optimization Architecture for Launch Vehicle Design
Unsupervised Change Detection for Space Habitats Using 3D Point Clouds
T-Rex: The NASA Technology Taxonomy Recommender System
Trajectory Specification Language for Air Traffic Control
Towards a Framework for Modeling Space Systems Architectures
Timeline as Unifying Concept for Spacecraft Operations
The Impact of Autonomous Systems Technology on JPL Mission Software
The embedded software life cycle - An expanded view
The Cassini spacecraft: Object oriented flight control software
Spacecraft fault tolerance: The Magellan experience
Software Tools to Support Research on Airport Departure Planning
Software Quality Assurance Audits Guidebooks
Software Program: Software Management Guidebook
Software Management Environment (SME) concepts and architecture, revision 1
Software Engineering Improvement Activities/Plan
Software Engineering and Swarm-Based Systems
Schedule Analysis Software Saves Time for Project Planners
RT_BUILD: An expert programmer for implementing and simulating Ada real-time control software
Research into language concepts for the mission control center
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