Welcome to International Center for Software Engineering

Carl Chang, Traceability Based Dynamic Metrics as a Tool for Evaluating Partitioning Decisions in Object-Oriented Architecture. National Science Foundation (2001-2004), $200,000
Gary T. Leavens. ITR/SY: Modular Interface Violation Checking Using Formally-Specified Contracts. Subcontract on a proposal by Murali Sitaraman of Clemson University, and Stephen Edwards of Virginia Tech. National Science Foundation (2001-2004). $109,383
Gary Leavens, (with Don Pigozzi (Mathematics)). Formal Methods for Extensible Object-Oriented Software, National Science Foundation (2001-2003). $200,000
Robyn Lutz, Safety Analysis for Critical Product Lines, National Science Foundation (2002-2005), $279,154
Robyn Lutz, (with John Knight, University of Virginia), ITR: Natural Language in the Development of High-Confidence Software, National Science Foundation (2002-2005), $201,974