Document Actions
Finished
Up one levelDeveloping and Applying a Requirements Engineering Concept to automatic Detection of Conflicts
- Tutors: Martin Mehlmann
- Degree: master
- State: completed - 2007-06-06
Talco
Es soll ein Simulationssystem für Photovoltaik Hybrid Anlagen entwickelt werden. Read More…
- Tutors: Martin Schaef
- Degree: bachelor
- State: completed - 2007-08-27
STALIN: A plugin-based modular framework for program analysis
Design and Development of a modular program analysis framework Read More…
- Tutors: Martin Schaef
- Degree: bachelor
- State: completed - 2008-03-30
Teaching Software Projects using Code Reviews
This thesis was awarded with the "Medienpreis" of the University of Freiburg Read More…
- Tutors: Martin Schaef
- Degree: bachelor
- State: completed - 2007-10-30
Developing and Verifying of Fingertrees
A data structure for fingertrees in C has to be developed. Afterwards, the code has to be verified in Isabelle/HOL. Read More…
- Tutors: Jochen Hoenicke | Stefan Maus
- Degree: bachelor
- State: completed
Visualization of Video Metadata
The main goal is to provide an easy visualization and navigation system for large digital video collections. An easy to use navigation for a virtual video shelf is implemented. Read More…
- Tutors: Martin Schaef
- Degree: bachelor
- State: completed - 2008-10-29