Docker Containers and Images for Robot Operating System (ROS)-Based Applications
T-Rex: The NASA Technology Taxonomy Recommender System
Neurocognitive Approach to Robotic Cause-Effect Reasoning During Learning
Development of a Weather Routing System for Analysis and Optimization of Ship Voyages
Simulation and Flight Test Environments for the TASAR Traffic Aware Planner
Plan Execution Interchange Language (PLEXIL) Software User's Manual
Astrobee Robot Software: A Modern Software System for Space
Trajectory Specification Language for Air Traffic Control
Formal Assurance for Cognitive Architecture Based Autonomous Agent
UTM TCL 2.0 Software Version Description (SVD) Document
Steps for Recovering from a UNIX or NT System Compromise
Quality Attributes for Mission Flight Software: A Reference for Architects
A Cloud-Based Architecture for Processing 3D Mars Terrain
Working Group 11F Opening Comments NASA Planning for NASA's Future Ground Systems
Exact and Heuristic Algorithms for Runway Scheduling
Schedule Analysis Software Saves Time for Project Planners
How NASA Utilizes Dashboards to Help Ensure Mission Success
Aquarius' Object-Oriented, Plug and Play Component-Based Flight Software
Timeline as Unifying Concept for Spacecraft Operations
Three Dimensional Computer Graphics Federates for the 2012 Smackdown Simulation
Mission Services Evolution Center Message Bus
Formal Verification Toolkit for Requirements and Early Design Stages
Ontological Modeling for Integrated Spacecraft Analysis
DAQ: Software Architecture for Data Acquisition in Sounding Rockets
Seven Processes that Enable NASA Software Engineering Technologies
Formal Verification Toolkit for Requirements and Early Design Stages
Extensible Infrastructure for Browsing and Searching Abstracted Spacecraft Data
Replacement Sequence of Events Generator
Ensemble: an Architecture for Mission-Operations Software
Software Engineering and Swarm-Based Systems
Towards a Framework for Modeling Space Systems Architectures
Practical Application of Model-based Programming and State-based Architecture to Space Missions
Lessons Learned from Autonomous Sciencecraft Experiment
VERSE - Virtual Equivalent Real-time Simulation
Case Study of the Space Shuttle Cockpit Avionics Upgrade Software
Automotive Embedded Systeme : Effizientes Framework — Vom Design zur Implementierung
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems
Intelligent Archives in the Context of Knowledge Building Systems: Concepts for the Future