|Chair of Programming Methodology|
SCT Student Projects - Simon Hofer
The goal of the thesis is to propose and implement verification methodologies and new Spec# language constructs for the Singleton, Visitor and Composite design patterns in order to simplify the specification process and enhance the specification expressiveness for the verification of object collaborations.
|Project Timeframe:||September 2008 to February 2009|
|Supervisor:||Joseph N. Ruskiewicz|
|Last update: 11.10.2007 by firstname.lastname@example.org|