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

Petra Marty

Contract Wizard II: Developing a GUI


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)