Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Abgeschlossene Diplomarbeiten am LS Prof. Dr. Zimmermann

Abgeschlossene Diplomarbeiten (Informatik)

Jana Neujahr: Verhalten von Webservices in Fehlersituationen. Vergleich zwischen SOAP, REST und 0DATA. (2014) (gemeinsam mit der Gisa GmbH)

Johannes Jahn: Ein modellbasierter Ansatz zur Nutzung von Webservices in Altsystemen (2012) (gemeinsam mit OR Soft)

Michael Altner: Modularer Aufbau von Middlewarearchitekturen (2012)

Francesco Freder: Konsistenzhaltung abstrakter Datenobjekte in parallelen Architekturen (2012) (gemeinsam mit OR Soft)

Marcus Meißner: Untersuchungen zum Einfluss von Restrukturierungen auf Software-Metriken (2011)
(gemeinsam mit AG Allgemeiner Pflanzenbau / Ökologischer Landbau, Prof. Dr. Olaf Christen)

Rene Franke: Zugriffskonzepte für gemeinsamen Speicher in Mehrkernarchitekturen (2011)
(gemeinsam mit OR-Soft)

Christian Berg: Translation Validation für Übersetzer Back-Ends mit Beweisprüfern (2011)

Christian Heike: Abstraktion des Verhaltens von CIL-Code zur Protokollprüfung (2011)

Michael Rennecke: Vergleichen von MPI und dem Kaktusstack auf Mehrkernarchitekturen.
(gemeinsam mit OR-Soft)(2011)

Martin Schloms: Optimierung der Datenübertragung für die Ausführung von Exe-Dateien über das Internet (2010)
(gemeinsame Arbeit mit Dögel IT-Management)

Christian Schmiljun: Validierung von Codegeneratoren in Übersetzern (2010)

Sebastian Bauer: Syntaktische Vollständigkeisprüfung von UML-Diagrammen mit OCL (2010)

Andreas Drobisch: Analyse und Transformation von BPMN-Modellen (2010)
(gemeinsam mir der GISA)

Frank Weißenborn: Entwicklung eines medizinischen Messadapters (2010)
(gemeinsame Arbeit mit dem Institut Physik Dr. Rost)

Andreas Rudolf: Erzeugen von Process Rewrite System - Abstraktionen aus PHP-Code (2010)
(gemeinsame Arbeit mit PCT GmbH)

Stephan Prätsch: Verbesserung von Algorithmen der Modellprüfung mittels paralleler Programmierung (2009)
(gemeinsam mit OR-Soft)

Johannes E. Krause: Entwicklung einer gemeinsamen Abstraktionsschicht für Python und C++ (2009)

Sebasitian Wendt: Experimente zur automatischen Plagiatserkennung (2009)
(In Zusammenarbeit mit dem Institut für Germanistik)

Maik Schöpe: Codegenierung von CLR aus Sather-K (2008)

Mathias Just: Translation Validation für Compiler Back-Ends (2007)

Johannes Enghardt: Deadlockerkennung in Message-Passing-Programmen (2007)

Kurzbeschreibung
diplomarbeit-einf-engelhardt.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)

Andreas Both: Points-To Analysen auf attributierten Syntaxbäumen mit BDDs (2004)

Kurzfassung
both_andreas.pdf (externe Datei)

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)

Dirk Pollmächer: Automatische Generierung von Klassenhierarchien (2003)

Abgeschlossene Diplomarbeiten Wirtschaftsinformatik

Alexander Giebler: Überführung von Altsystemen in komponent-basierte Softwarearchitekturen (2012)

(gemeinsam mit der GISA GmbH)

Allelein, Heiko: Ein Prozess zur Migration eines monolithischen Systems zu einer Service-orientierten Architektur (2011)

Hannes Hellmich: Abstraktion von BPEL-Prozessen für Protokollprüfungen (2010)

Christian Knauer: Automatisierung von Regressionstests (2009)

(externe Diplomarbeit, Extessy AG, Wolfsburg)

Martin Gebauer: Synchronisationsprobleme bei der Integration mit Webservices (2006)

Dirk Pollmächer: Entscheidungsunterstützung bei der Auswahl von Softwarearchitekturen (2004)

Thomas Lefeld: Formale objekt-orientierte Analyse einer FDA 21 CFR Part 11-konformen Messapplikation mit OCL (2003)

(extern ECH Elektrochemie Halle GmbH)

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)

Diplomarbeiten (Bioinformatik)

Dagmar Kutz: Editorerstellung für VANTED am Beispiel von SBML (2012)
(in Zusammenarbeit mit IPK Gatersleben, Prof. Dr. Falk Schreiber)

Sebastian Fröhlich: Modellprüfung biologischer Systeme (2011)
(in Zusammenarbeit mit IPK Gatersleben, Prof. Dr. Falk Schreiber)

Mandy Günther: Konzeption und Implementierung einer Textindexierungsinfrastruktur zur Performanceoptimierung von Suchmaschinen in den Lebenswissenschaften (2009)
(In Zusammenarbeit mit den IPK Gatersleben)

Zum Seitenanfang