Type-to-Contract Translator for the SCW

Index:

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

Abstract:

This project is to facilitate adding already existing RESOLVE classes into the new SCW tool as contracts.

Calendar:

September 2002--SCW presentation.
October 2002--Met with Advisor on goals of the project.
November 2002--Created software design.
March 2003--Targetted completion of implementation.

Project Development:

We have completed the design portion of the development. We have in corporated many of the ideas used in CIS 321 in designing our program. However, we have had to adapt our design as it is not necessary to parse every word of the file as it is in a regular compiler. We have decided to write an extension of CVInfo (one of the components of the SCW) to add new elements (math subtypes, operations, etc). We planned to begin writing code in December and into January. Our implementation of the project is in it's completion phase.

Findings and Contributions:

None so far.

Links and References:

RESOLVE Component Library
Software Composition Workbench

  Return to Europa