User's Guide to the 160A and 1604A Utility Programs. Change 1
User's Guide to the 160A and 1604A Utility Programs. Change 2
Assessing Core Flight System as Architecture for Potential Mars Ascent Vehicle Flight Software
Seven Processes that Enable NASA Software Engineering Technologies: Value-Added Process Engineering
Software Engineering Research/Developer Collaborations in 2005
Progress Report Verification in an Automated Oceanic Air Traffic Control System
NASA IV&V Program NASA's Independent Verification and Validation Program
Seven Processes that Enable NASA Software Engineering Technologies
Quantitative Determination of Stratospheric Aerosol Characteristics
Quantitative Determination of Stratospheric Aerosol Characteristics
Quantitative Determination of Stratospheric Aerosol Characteristics
Quantitative Determination of Stratospheric Aerosol Characteristics
Imp-J Attitude Control Prelaunch Analysis and Operations Plan
Spaceport Command and Control System User Interface Testing
Taetigkeitsberichte 1973, Rechenzentren (Activity Reports 1973, Computer Centers)
Modular Infrastructure for Rapid Flight Software Development
Deterministic Design Optimization of Structures in OpenMDAO Framework
Component Verification and Certification in NASA Missions
Experimental Software Engineering: Seventeen Years of Lessons in the SEL
Modular Space Station, Phase B Extension. Program Operations Plan
Formal Verification Toolkit for Requirements and Early Design Stages
Software for Intelligent System Health Management (ISHM)
LEGO Robot Vehicle Lesson Plans for Secondary Education - A Recruitment Tool
Safety Critical Flight Software: Code Coverage Utilization
Service Oriented Robotic Architecture for Space Robotics: Design, Testing, and Lessons Learned