Diplomarbeiten
Abgeschlossene Diplomarbeiten (informatik)
Dirk Pollmächer: Automatische Generierung von Klassenhierarchien (2003)
Stefan Schäfer: Eine modulare formale Semantik von Sather-K (2004)
PDF-Dokument - zum Betrachten benötigen Sie einen ACROBAT-Reader (oder ein vergleichbares Programm)
schaefer_stefan.pdf
(externe Datei)
Andreas Both: Points-To Analysen auf attributierten Syntaxbäumen mit BDDs (2004)
Kurzfassung
both_andreas.pdf
(externe Datei)
Michael Sohn: Korrektheitsbegriffe für modellbasierte Codegeneratoren (2006)
(Betreuung gemeinsam mit DaimlerChrysler Research Berlin, Mirko Conrad; Bearbeiter)
Kurzfassung
Ausschreibung_Diplomarbeit.html
(externe Datei)
Johannes Enghardt: Deadlockerkennung in Message-Passing-Programmen (2007)
Kurzbeschreibung
diplomarbeit-einf-engelhardt.pdf
(externe Datei)
Mathias Just: Translation Validation für Compiler Back-Ends (2007)
Abgeschlossene Diplomarbeiten Wirtschaftsinformatik
Michael Mann: Analyse, Bewertung und eventuelle Korrektur sowie Erweiterung bestehender Qualitätsmaßnahmen in Softwareentwicklungsprojekten in einem Medienunternehmen (2002)
(extern, ProSieben Information Systems GmbH, München)
Thomas Lefeld: Formale objekt-orientierte Analyse einer FDA 21 CFR Part 11-konformen Messapplikation mit OCL (2003)
(extern ECH Elektrochemie Halle GmbH)
Dirk Pollmächer: Entscheidungsunterstützung bei der Auswahl von Softwarearchitekturen (2004)
Martin Gebauer: Synchronisationsprobleme bei der Integration mit Webservices (2006)
Diplomarbeiten (Informatik) in Bearbeitung
Maik Schöpe: Codegenierung von CLR aus Sather-K
Sebasitian Wendt: Experimente zur automatischen Plagiatserkennung
(gemeinsam mit Germanistischem Institut, Dr. Wagner und Keio-University, Prof. Ishizaki)
Johannes E. Krause: Entwicklung einer gemeinsamen Abstraktionsschicht für Python und C++
(gemeinsam mit OR-Soft, Merseburg)
Stephan Prätsch: Verbesserung von Algorithmen der Modellprüfung mittels paralleler Programmierung
(gemeinsam mit OR-Soft, Merseburg)