SCT Student Projects - Paolo Bazzi
The Universe type system is integrated into the MultiJava and JML tools
and multiple stand-alone tools that help to annotate existing programs
exist.
Goal of this semester project is the integration of those different tools
into the Eclipse IDE as a collection of plug-ins.
These plug-ins will allow the user to manage the cooperation of
the different tools and configurations in an easy manner.
| Project Timeframe: |
Summer semester 2006 |
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Werner M. Dietl |
|
