Formal Assurance for Cognitive Architecture Based Autonomous Agent
Plan Execution Interchange Language (PLEXIL) Software User's Manual
Accelerating Unstructured-grid CFD Algorithms on NVIDIA and AMD GPUs
How NASA Utilizes Dashboards to Help Ensure Mission Success
Mission Services Evolution Center Message Bus
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
Schedule Analysis Software Saves Time for Project Planners
Software Engineering and Swarm-Based Systems
UTM TCL 2.0 Software Version Description (SVD) Document
Unsupervised Change Detection for Space Habitats Using 3D Point Clouds
Quality Attributes for Mission Flight Software: A Reference for Architects
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems
Astrobee Robot Software: A Modern Software System for Space
Intelligent Archives in the Context of Knowledge Building Systems: Concepts for the Future
1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
1d-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
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
Using Modules with MPICH-G2 (and "Loose Ends")
The Impact of Autonomous Systems Technology on JPL Mission Software
A Cloud-Based Architecture for Processing 3D Mars Terrain
Verification and Validation of Autonomy Software at NASA
Verification and Validation of Autonomy Software at NASA
Abstract for 1999 Rational Software User Conference
A software development environment utilizing PAMELA
Software Program: Software Management Guidebook
Software Management Environment (SME) concepts and architecture, revision 1
An approach to software baseline generation
MUST - An integrated system of support tools for research flight software engineering
Use of the Collaborative Optimization Architecture for Launch Vehicle Design
MAPPER: A personal computer map projection tool