Two Way Checking Components

Index:

Abstract
Calendar
Project Development
Findings and Contributions
Links and References
Return to Europa

Abstract:

What is the project about? Why is it important? Our objective is to implement a mathematical model for the various types used in requires and ensures clauses. This will allow the construction of checking components that can verify the requires and ensures clauses.

Such tools will make debugging much simpler as the programmer will be able to determine if a particular procedure is not actually satisfying its specs according to the mathematical model. Components that check from both the beginning of a procedure to it's completion allow for a problem to be speedily isolated.

Calendar:

Feb 2001 - Met with Bruce and took over the project from Travis Grigsby.
Feb 2001 - Met with Travis to discuss current status of the project.

Project Development:

String_Model was completed by Travis, and Set-Model is currently being debugged. We are focusing on the Tree_Model and the Tuple_Model.

Findings and Contributions:

Links and References:

  Return to Europa