Martin-Luther University Halle-Wittenberg


Prof. Dr. Wolf Zimmermann Homepage

  This page is out-dated. Please visit

http://swt.informatik.uni-halle.de//mitarbeiter/zimmermann/




Wolf Zimmermann

Address

Martin-Luther-Universität Halle-Wittenberg
Fachbereich Mathematik und Informatik
Institut für Informatik
Arbeitsgruppe Software-Engineering und Programmiersprachen
von-Seckendorff-Platz 1
06099 Halle/Saale
Germany
Tel   : ++49 345/55-24712 
 Fax : ++49 345/55-27333 
 E-Mail: zimmer@informatik.uni-halle.de 


Academic Degrees


Secretary

Scientific Staff


Publications


Research Interests

Main Interests: Special Interests Projects

Courses



Memberships


Diploma Thesis and Student Projects

Diplomarbeiten Informatik

Automatische Generierung von Klassenhierarchien
(Bearbeitet durch Dirk Pollmächer) 

Eine modulare formale Semantik von Sather-K
(Bearbeitet durch Stefan Schäfer)

Points-To Analysen auf attributierten Syntaxbäumen mit BDDs
(Bearbeitet durch Andreas Both)

Korrektheitsbegriffe für modellbasierte Codegeneratoren
(Bearbeiter: Michael Sohn, gemeinsam mit DaimlerChrysler Research Berlin, Dr. Mirko Conrad)

Implementierung eines Übersetzers für parallele Sprachen unter Verwendung von Task-Scheduling
(Bearbeiter: Thomas M
üller)


Diplomarbeiten Wirtschaftsinformatik

Analyse, Bewertung und eventuelle Korrektur sowie Erweiterung bestehender Qualitätsmaßnahmen in Softwareentwicklungsprojekten in einem Medienunternehmen
(Bearbeitet durch Michael Mann, extern bei ProSieben Information Systems GmbH)

Formale objekt-orientierte Analyse einer FDA 21 CFR Part 11-konformen Messapplikation mit OCL
(Bearbeitet durch Thomas Lefeld, extern bei ECH Elektrochemie Halle GmbH)

Entscheidungsunterstützung bei der Auswahl von Softwarearchitekturen
(Bearbeitet durch Dirk Pollmächer)

Synchronisationsprobleme bei der Integration von Webservices
(Bearbeitet durch Martin Gebauer)

Ein Werkzeug zur Verklemmungsanlyse bei der Komposition von Webservices
(Bearbeiter: Marcel Schuster)

Projektarbeiten Informatik

Objekt-Orientierte Analyse mit OCL am Beispiel eines Web-Content-Managementsystems.
(Bearbeitet durch Andreas Both) 

Interaktives System "Rätselhafter Luther"
(Bearbeitet durch Heike Stephan)

Syntaxanalyse für Sather-K mit Eli
(Bearbeitet durch Mathias Just und Michael Sohn

Semantische Analyse und Codeerzeugung für Sather-K nach CLR:
(Bearbeiter: Maik Jakobsche)

13.09.2005 W.Z.