Diplomarbeit
|
| 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. |