Documents of the Department

• Diploma Theses (archive)
• Student Theses (archive)

• Eisenbarth, Thomas; Rohrbach, Jürgen: Evaluation und Erprobung des SESAM-2-Systems anhand eines strikt atomaren Modells, Diploma Thesis No. 1633, 1998.
• Jochum, Eric: Erstellung und Validierung eines Software-Entwicklungsprozesses für 1-Personen-Projekte, Diploma Thesis No. 2, 1998.
• Kuhnle, Jochen: Eine Untersuchung zum Nutzen von Reviews und Inspektionen, Diploma Thesis No. 4, 1998.
• Mindrup, Uwe: Konzeption und Realisierung eines Werkzeugs zur Erstellung und Verwaltung natürlichsprachlicher Spezifikationen, Diploma Thesis No. 1, 1998.
• Richter, Martin: Konzeption und Implementierung von Verfahren zur (halb-)automatischen Pruefung natuerlichsprachlicher Spezifikationen, Diploma Thesis No. 1654, 1998.

• Jurak, Daniel: Entwicklung eines Verwaltungssystems für Änderungsanträge, Student Thesis No. 1723, 1998.