PITA Fiscal Year 2002 Projects

Information And Systems Technology

Program Analysis for the Reliability of Information Systems (FY2002 Renewal)
Develop a set-check-use methodology as an architecture to provide feedback on missing error handling and a metric for the dependability of software.