Diplomarbeit

Type of project:
Diplomarbeit SS 2004, 26 April - 25 August 2004

Author:
Petra Marty

Title:
Contract Wizard II: Developing a GUI

Description

Regrettably Design by Contract is still a specificity of the Eiffel programming language. The Contract Wizard II tool enables adding contracts (preconditions, postconditions, and class invariants) to any .NET assembly, whatever .NET language it was initially written in. The current version of the Contract Wizard II only provides a command-line user interface. The main goal of this project is to enrich the tool with a Graphical User Interface.

Project plan (PDF)
Final report (PDF)