Implementation of Ada protocols on Mil-STD-1553 B data bus
How NASA Utilizes Dashboards to Help Ensure Mission Success
Geographic Positions to UTM Grid Coordinates Conversion Program
Generalized Support Software: Domain Analysis and Implementation
Fuzzy and neural net processor and its programming environment
Formal Verification Toolkit for Requirements and Early Design Stages
Formal Verification Toolkit for Requirements and Early Design Stages
Formal specification and verification of Ada software
Formal Assurance for Cognitive Architecture Based Autonomous Agent
FMT (Flight Software Memory Tracker) For Cassini Spacecraft-Software Engineering Using JAVA
Fault-tolerant software - Experiment with the sift operating system
Extensible Infrastructure for Browsing and Searching Abstracted Spacecraft Data
Experiences with Ada in an embedded system
Exact and Heuristic Algorithms for Runway Scheduling
Evolution of Ada technology in the flight dynamics area: Implementation/testing phase analysis
Ensemble: an Architecture for Mission-Operations Software
Docker Containers and Images for Robot Operating System (ROS)-Based Applications
Development of a Weather Routing System for Analysis and Optimization of Ship Voyages
Detailed Requirements Document for Stowage List and Hardware Tracking System (Slahts)
Design and Implementation of a Database Management System for a Navy Medical Administrative Unit
DAQ: Software Architecture for Data Acquisition in Sounding Rockets
Computer Program Subsystem. Flight 2203. Milestone IX. Volume I
Computer Program Category I Test Plan for CEI MOL809A. CDRL Item T108. Data Item No. UT-467
Collaborative Software Development in Support of Fast Adaptive AeroSpace Tools (FAAST)
Case Study of the Space Shuttle Cockpit Avionics Upgrade Software
Automotive Embedded Systeme : Effizientes Framework — Vom Design zur Implementierung
Astrobee Robot Software: A Modern Software System for Space
A software development environment utilizing PAMELA
A risk management approach to CAIS development