Plan Execution Interchange Language (PLEXIL) Software User's Manual
Accelerating Unstructured-grid CFD Algorithms on NVIDIA and AMD GPUs
Formal Assurance for Cognitive Architecture Based Autonomous Agent
How NASA Utilizes Dashboards to Help Ensure Mission Success
Formal Verification Toolkit for Requirements and Early Design Stages
Extensible Infrastructure for Browsing and Searching Abstracted Spacecraft Data
Ensemble: an Architecture for Mission-Operations Software
Mission Services Evolution Center Message Bus
Schedule Analysis Software Saves Time for Project Planners
Unsupervised Change Detection for Space Habitats Using 3D Point Clouds
Quality Attributes for Mission Flight Software: A Reference for Architects
Astrobee Robot Software: A Modern Software System for Space
1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
Intelligent Archives in the Context of Knowledge Building Systems: Concepts for the Future
Software Engineering and Swarm-Based Systems
UTM TCL 2.0 Software Version Description (SVD) Document
Using Modules with MPICH-G2 (and "Loose Ends")
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems
Verification and Validation of Autonomy Software at NASA
The Impact of Autonomous Systems Technology on JPL Mission Software
1d-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
Verification and Validation of Autonomy Software at NASA
Software Engineering Improvement Activities/Plan
Collaborative Software Development in Support of Fast Adaptive AeroSpace Tools (FAAST)
Software Tools to Support Research on Airport Departure Planning
Abstract for 1999 Rational Software User Conference
Software Program: Software Management Guidebook
MAPPER: A personal computer map projection tool
A mission executor for an autonomous underwater vehicle
Knowledge-based systems and NASA's software support environment
Ada training evaluation and recommendation
An approach to software baseline generation
MUST - An integrated system of support tools for research flight software engineering