Wir bieten bis auf Weiteres keine Abschlussarbeiten mehr an (Ruhstand). Die früheren Arbeiten hatten sowohl theoretische als auch praktische Themen aus den folgenden Bereichen:

 

• Algebraische Systembeschreibung und Systementwicklung
• Automatische Theorembeweiser
• Featureorienterte Software und System Entwicklung
• Graphikprogrammierung
• Hybride und reaktive Systeme
• Modale und temporale Logiken
• Modellverfeinerung
• Multi-Agenten Systeme
• Wissenslogik
• Zeigerstrukturen (im Besonderen Separationslogik)

 

2011

Konzeption und Implementierung einer datenbankgestützten Anwendung zur Abbildung eines Vertriebsprozesses
Roland Herzberger (Masterarbeit)
Ansprechpartner: Prof. B. Möller

 

Diskrete Kollisionserkennung mit OpenCL
Tobias Reich (Diplomarbeit)
Ansprechpartner: Prof. B. Möller

 

Vorstellung eines nutzerzentrierten Entwicklungsprozesses zur Realisierung einer Hotelsoftware
Sergej Naumenko (Bachelorarbeit)
Ansprechpartner: Prof. B. Möller

 

Formal Product Families for Abstract Machines
Andreas Zelend (Diplomarbeit)
Ansprechpartner: Dr. P. Höfner, Prof. B. Möller

 

 

2010

Konzeption und Implementierung eines Web-Content-Management-Systems
Ralph Zeumann (Bachelorarbeit)
Ansprechpartner: Prof. B. Möller

 

Entwicklung einer Web-basierten Anwendung zur Speicherung, Auswertung und Visualisierung von Messungen
Dmitry Savinskiy (Masterarbeit)
Ansprechpartner: Prof. B. Möller

 

Requirements in Feature Algebra
Sven Mentl (Diplomarbeit)
Ansprechpartner: Dr. P. Höfner, Prof. B. Möller

 

Evaluierung und Auswahl von Kennzahlen für die Anwendungsentwicklung einer mittelständischen Bank mit einer prototypischen Realisierung eines Steuerungscockpits
Stanislav Padarev (Masterarbeit)
Ansprechpartner: Prof. B. Möller

 

Progressive Meshes
Thomas Driessen (Bachelorarbeit)
Ansprechpartner: Prof. B. Möller

 

Entwicklung eines Konverters von einer DataEase-basierten Datenbank auf TopKontor ERP
Christian Eggert (Bachelorarbeit)
Ansprechpartner: Prof. B. Möller

 

Automatische Normierung Algebraischer Formeln
Markus Teufelhart (Bachelorarbeit)
Ansprechpartner: Dr. P. Höfner , Prof. B. Möller

 

Visualisierung der Wärmestromdichtemessung an Membranwänden eines Dampferzeugers
Maximilian Koch (Diplomarbeit)
Ansprechpartner: Prof. B. Möller

 

 

2009

Eine komponentenbasierte Lösung zur Darstellung und Berechnung der Brennverlaufsanalyse eines MAN Großmotors
Sebastian Weis (Diplomarbeit)
Ansprechpartner: Prof. B. Möller

 

Entwurf und Implementierung eines Online-Shops mit Backoffice
Jessica Eichberg (Bachelorarbeit)
Ansprechpartner: Prof. B. Möller

 

Hard- und Softwareunterstützung für modulare Agenten
Sandra Jobst (Masterarbeit)
Ansprechpartner: Prof. B. Möller, Prof. Dr. M. E. Müller

 

Import externer Objekte nach JOGL mit graphischer Vorschau
Peter Huber (Bachelorarbeit)
Ansprechpartner: Roland Glück, Prof. B. Möller

 

Active Directory Account Management
Mihail Dominov (Masterarbeit)
Ansprechpartner: Prof. B. Möller

 

Erstellung einer Datenbank für automatisch erzeugte Beweise
Yanan Zhong (Diplomarbeit)
Ansprechpartner: Peter Höfner, T. Preisinger, Prof. B. Möller

 

Algebraic Aspects of Separation Logic
Han-Hing Dang (Diplomarbeit)
Betreuer: Prof. B. Möller, Peter Höfner

 

Objektorientierte Strukturierung von Graphikprogrammen
Stanislav Padarev (Bachelorarbeit)
Betreuer: Roland Glück, Prof. B. Möller

 

 

2008

Virtuelle Simulation für die Mensch-Roboter-Interaktion
Dominik Krautmann (Masterarbeit)
Betreuer: Prof. B. Möller

 

Analyse, Design und Implementierung einer datenbankgestützten Konvertierung von XML nach CSV
Ana Asavinei (Bachelorarbeit)
Betreuer: Prof. B. Möller

 

Simulation und Analyse verteilten Wissens in Multiagentensystemen
Iris Kellner (Masterarbeit)
Betreuer: Prof. B. Möller

 

Konzeptstudie für ein elektronisches Scheckheft mit Wartungsaufforderung für Industrieroboter
Benjamin Roschanski (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Taktzeitoptimierung einer Industrieroboter-Trajektoire unter Anwendung von RoboSpin
Natalia Kurova (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Algebraische Analyse von Mehr-Personen-Spielen
Turki Hatam Bekr (Diplomarbeit)
Ansprechpartner: Peter Höfner, Prof. B. Möller

 

Realisierung des Konzepts der Serviceorietierten Architektur durch SAP Net Weaver
Alexander Matwin (Masterarbeit)
Betreuer: Prof. B. Möller

 

Design und Implementierung einer Webanwendung zur Verfolgung der Key-Performance-Indikatoren
Qian Yang (Masterarbeit)
Betreuer: Prof. B. Möller

 

 

2007

Ein Werkzeug zur interaktiven Erstellung von Szenarien mit texturierten Objekten
Petra Reichensperger (Bachelorarbeit)
Betreuer: Prof. B. Möller

 

Experimentelle Spieleprogrammierung in Java und OpenGL
Christoph Koch (Bachelorarbeit)
Betreuer: Prof. B. Möller

 

Realisierung des Konzepts der serviceorientierten Architektur durch SAP-Netweaver
Alexander Matwin (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Entwicklung und Realisierung eines Systems zur automatischen Identifizierung, Softwareverteilung und Parametrierung von Motorsteuerungskomponenten
Alexander Holzmann (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Zur algebraischen Beschreibung von Web-Informationssystemen
Josef Bergmann (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Behandlung von Netzwerkflüssen mittels Halbringen und Fuzzy-Relationen
R. Glück (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Entwicklung eines Fehlerdiagnose-Tools für DirectX-basierte 3D-Grafikkarten
Olena Kuzik (Masterarbeit)
Betreuer: Prof. B. Möller

 

Erstellen eines automatischen Testsystems zur wiederholbaren Verifikation einer Steuerungssoftware
Felix Wehr (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Entwurf und Implementierung einer Anwendung zur Preisfindung von Rückversicherungen im Bereich der Sachversicherung
Stephanie Vogg (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

2006

Erarbeiten einer webbasierten Lösung zur Speicherung, Auswertung und Visualisierung von Motor- und Turboladermessdaten
C. Rogg (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Techniken zur Schattenberechnung
Michael Graf (Bachelorarbeit)
Betreuer: Prof. B. Möller

 

 

2004

Constraint-Prüfung und Modellgenerierung für Kleene-Algebra
Igor Zarkh (Diplomarbeit)
Betreuer: Dr. G. Struth, Prof. B. Möller

 

 

2003

Von sequentieller Algebra zu Kleene-Algebra: Intervalloperatoren und Zeitdauer-Kalkül
Peter Höfner (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Fallstudie zur Entwicklung eines Programmtransformationssystems unter Verwendung von XML und XPath
Willibald Vogl (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

2002

Problemorientiertes Wissen - Konzeption und Implementierung eines Knowledge-Management-Systems
(in Zusammenarbeit mit ewt, Augsburg)
Achim Grögeder (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

2001

Erste Schritte der Programmierung in Turbo-Pascal
Stefan Täuber (Staatsexamensarbeit)
Betreuer: Prof. B. Möller

 

Entwurf eines Online-Abonnentenbestell- und Verwaltungssystems im B2B- und B2C-Bereich für einen Out-Door-Delivery-Service und Implementierung einer Komponente zur Versionskontrolle (Proxy)
Robabeh Smeja (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Konzeption und Implementierung einer Wissensdatenbank für Callcenter
(in Zusammenarbeit mit Philips Semiconductors, Hamburg)
Christoph Harsch (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

2000

Rechenregeln für verkettete Listen
Markus Brixle (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Erstellung eines UML-Konzeptes für ein Modularisierungswerkzeug
(in Zusammenarbeit mit Cosyma GmbH, Friedberg)
Frank Ortmeier (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Lernende Organisation: Konzept und Implementierung eines Ansatzes zur Nutzbarmachung von Erfahrungswissen bei der Entwicklung von Geschirrspülern
(in Zusammenarbeit mit BSH Bosch und Siemens Haushaltsgeräte GmbH, Dillingen)
Robert Kopp (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Formale Entwicklung von Zeigeralgorithmen auf Baumstrukturen
Michael Kober (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1999

Objektorientiertes Softwaredesign mit Echtzeitanforderung zur Steuerung von Beleglesern und Implementierung in Java
Armin Leinfelder (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Konzipierung und Erstellung eines Tools zur Unterstützung der QFD-Vorgehensweise bei Entwicklungsprojekten mit hohem SW-Anteil
Claudia Eberle (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1998

Funktionale Modellierung und Analyse von Zeigerstrukturen
Stefan Hollmann (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Entwurf und Implementierung einer Fondsoptimierungssoftware
Bernd Pfitzner (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1997

Zur Algebra der Ströme
Stefan Huber (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Deduktiver Entwurf und funktionale Programmierung von Graphenalgorithmen
Thomas Brunn (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1995

Entwurf und Implementierung eines Systems zur Zeichenerkennung
Marco Valverde-Kenn (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1994

Zur Implementierung von Arithmetik mit sehr langen ganzen Zahlen
Matthias Steinwagner (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Ein ökonomisches Modell zur Aufwandsschätzung der Softwareentwicklung mit Wiederverwendung
Frank Bayerlein (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1993

Zur Implementierung konkurrenter Speicherbereinigungsverfahren
Barbara Schober (Diplomarbeit)
Betreuer: Prof. B. Möller

 

 

1992

Behandlung der Operationen auf AVL-Bäume mittels Zeigeralgebra
Michael Orth (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Dynamische Datenbankstrukturierung am Beispiel eines Fragebogengenerators
Karin Eichinger (Diplomarbeit)
Betreuer: Prof. B. Möller

 

Ein strukturiertes Verzeichnis unendlicher Halbringe
Stephan Lindner (Diplomarbeit)
Ansprechpartner: Peter Höfner, Prof. B. Möller