Formal Assurance for Cognitive Architecture Based Autonomous Agent
Formal Verification Toolkit for Requirements and Early Design Stages
Software Engineering and Swarm-Based Systems
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
Collaborative Software Development in Support of Fast Adaptive AeroSpace Tools (FAAST)
The Impact of Autonomous Systems Technology on JPL Mission Software
Abstract for 1999 Rational Software User Conference
A software development environment utilizing PAMELA
An approach to software baseline generation
A mission executor for an autonomous underwater vehicle
Knowledge-based systems and NASA's software support environment
Ada training evaluation and recommendation
Virtual agents in a simulated virtual training environment
A NASA initiative: Software engineering for reliable complex systems
Fault-tolerant software - Experiment with the sift operating system
Formal specification and verification of Ada software
Experiences with Ada in an embedded system
Measuring Ada as a software development technology in the Software Engineering Laboratory (SEL)
Validating system-level error recovery for spacecraft
Organising geometric computations for space telerobotics
The embedded software life cycle - An expanded view
A computer-based specification methodology
Reducing the risks of using Ada onboard the Space Station
Fuzzy and neural net processor and its programming environment
Interesting viewpoints to those who will put Ada into practice
RT_BUILD: An expert programmer for implementing and simulating Ada real-time control software
Aquarius' Object-Oriented, Plug and Play Component-Based Flight Software
Implementation of Ada protocols on Mil-STD-1553 B data bus
A risk management approach to CAIS development