Advising

The pre-diploma thesis is a short paper students have to write. Its goal is to improve the practical education and serves as a preparation for the diploma thesis. The duration is 3 months.

With the diploma thesis a student demonstrates her or his ability to work self-responsible and in a scientific way on a computer science problem under supervision of a professor or teaching assistant. The duration is 6 months.

Both theses are written in german and may be accomplished in a private company outside of the university.

I supervised the following diploma theses and pre-diploma theses:

Diploma theses

• Comparative study of refinement notions in formal methods; K. Beermann.
• Object-oriented modelling and implementation of the information system ``ExPert'': database component (external); S. Bengsch.
• Implementation of a parser for the object-oriented specification language TROLL; M. Deichsel.
• Object-oriented design and implementation of an information system for administrating ``Joint-Data'' at Physical-Technical Federal Board Braunschweig (PTB) (external); G. Fischer.
• Design and implementation of a system for administrating LaTeX-references; M. Gerdes.
• Design and implementation of an information sytem vor administrating dissertations at department 1 of Technical University Braunschweig; S. Guhr.
• Towards a specification method for TROLL; M. Hofmeyer.
• Prototypical implementation of a transformation system for object oriented specifications: TROLL - MAUDE; G. Holtkötter.
• Object-oriented modelling and implementation of the information system ``ExPert'': user interface (external); G. Jürgens.
• Design of an information system for test applications at PTB (external); M. Kowsari.
• Comparison of the object-oriented specification languages FOOPS and TROLL; G. Prien.
• Modularisation and reuse - a state of the art report; F. Richter.
• Design and implementation of an ASCII-Report Generator for SQLWindows (external); D. Schubert.
• Object-oriented specification of an information system for synthetic material in explosion proof electrical equipment (external); K. Schwarz.

Pre-diploma theses

• TROLL specification of a system for administrating PhD-Students in Mathematics and Computer Science at TU Braunschweig; H. Dees
• Design and implementation of an administration system at PTB (external); O. Deterding, O. Dunemann, J. Eickbusch, H. Prüßner.
• Exporting TROLL specifications from TBENCH; N. Grabe.
• Modelling the workflow ``Life-Insurance-Application'' with the technique of stepwise refinement; S. Grevecke.
• Re-engineering of a program for measuring press at PTB (external); T. Hohnsbein, H. Shafiee.
• Two examples of datatype- and action refinement in TROLL; S. Könnecke.
• A comparative study of two refinement notions in process theory; R. Leipelt, S. Scharff-Wallner.
• The theorem prover ``Tatzelwurm'': test and evaluation; T. Lüdtke.
• Design of an information system to guide the ``switching streetcar's'' process; T. Prönnecke.
• The ``AGG-System'' for graphical representation of TROLL light specifications: test and evaluation; M. Päselt.
• WinTool - a graphical interface under DOS; D. Wohrow.
• Data Warehousing - a new concept for designing an information system at Preussag Stahl AG? (external); M. Seelis.
• Towards the development of a demonstration course for introducing SQL; M. Stock.