PITA Fiscal Year 2001 Projects

Information And Systems Technology

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