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