Seven Processes that Enable NASA Software Engineering Technologies
Formal Verification Toolkit for Requirements and Early Design Stages
Software for Intelligent System Health Management (ISHM)
Simulation and Flight Test Environments for the TASAR Traffic Aware Planner
Repository-Based Software Engineering Program: Redefining Adanet as a Mainstream NASA Source
Docker Containers and Images for Robot Operating System (ROS)-Based Applications
Space Flight Software Development Software for Intelligent System Health Management
Task-Level Robot Programming: Integral Part of Evolution from Teleoperation to Autonomy
Neurocognitive Approach to Robotic Cause-Effect Reasoning During Learning
Computer Program Subsystem. Flight 2203. Milestone IX. Volume I
Three Dimensional Computer Graphics Federates for the 2012 Smackdown Simulation
Space Shuttle Guidance, Navigation and Control Design Equations, Volume 1
Missouri Pacific's Computerized Freight Car Scheduling System: Orientation Module
Geographic Positions to UTM Grid Coordinates Conversion Program
Case Study of the Space Shuttle Cockpit Avionics Upgrade Software
Space Station Mission Planning System (MPS) Development Study. Volume 2
Computer Program Category I Test Plan for CEI MOL809A. CDRL Item T108. Data Item No. UT-467
Detailed Requirements Document for Stowage List and Hardware Tracking System (Slahts)
Intercity Transportation Effectiveness Model Documentation Volume VII. Computer Operator's Manual
Monthly Squadron Sortie Scheduling Model for Improved Combat Readiness