IV&V Facility Research Program Results and SARP Results  

Advanced Search
Quality Engineering < Software Quality < Results Home

Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.
Quality Engineering (11)Provide assurance that the software project complies with the quality assurance standards, processes and procedures established.
Research Projects
A Feasibility Study for Static Analysis of Binary Executables
Crystal Ball
IV&V Technique for Object Oriented Software Systems
Measuring Confidence in IV&V Products
Optimizing IV&V for Mature Organizations
Practical Model Checking to Enforce Domain Specific Interfaces
Preventing and eliminating software faults through the life cycle
Product-Line Verification of Safety-Critical Software
Research and Development of Deployable IV&V Methods for FPGA Applications
Software Engineering Research / Developer Collaborations
Software Process Assurance for Complex Electronics (SPACE)


Curator: Josh Stonestreet
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices