Laufende Diplomarbeiten, Praktische Semesterarbeiten und Systementwicklungspraktika am Lehrstuhl Broy

Viele Diplomarbeiten / FoPras rund um das Isabelle System

Laufende Diplomarbeiten

MDA und Referenzarchitekturen

Bearbeiter:           Niko Baehr
Betreuung:           Tilman Seifert
Beginn:                 15.01.2004

Bedrohungen und Risiken kontextbezognener Dienste im Automotive-Bereich

Bearbeiter:           Kathrin Scheidemann
Betreuung:           Gerhard Popp
Beginn:                 15.01.2004

Einbezug von Portalstrategien in E-Business Referenzarchitekturen unter Berücksichtigung aktueller Portalstandards

Bearbeiter:           Michael Engelhardt
Betreuung:           Michael Meisinger
Beginn:                 15.01.2004

Entwicklung von Internet-basierten Dialogverarbeitungssystemen

Bearbeiter:           Peter Köllner
Betreuung:           Tobias Hain
Beginn:                 15.01.2004

Evaluierung des Java Security Modells im Kontext von Software Downloads innerhalb des OSGi-Frameworks

Bearbeiter:            Stephan Merk
Betreuung:            Johannes Grünbauer
Beginn:                 15.01.2004

Modell-basierte Sicherheitsanalyse mit UMLsec: Ein Biometrisches Zugangskontrollsystem

Bearbeiter:            Robert Schmidt
Betreuung:            Jan Jürjens
Beginn:                 15.12.2003

Ein OCL-Plugin für Eclipse

Bearbeiter:            Matthias Hanitzsch
Betreuung:            Dr. Bernhard Rumpe
Beginn:                 15.12.2003

Begleitung eines Pilotprojektes zur Evaluierung der Praxistauglichkeit des V-Modells-200x

Bearbeiter:            Inga Küffer
Betreuung:            J. Prof. Dr. Andreas Rausch , Michael Gnatz
Beginn:                 15.12.2003

Messung von Zuverlässigkeits- und Sicherheitsmethoden

Bearbeiter:            Wahid Khachabi
Betreuung:            Stefan Wagner
Beginn:                 15.12.2003

Zertifizierungstechnologien für Java-Codegeneratoren

Bearbeiter:            Peter Schauer
Betreuung:            Oscar Slotosch
Beginn:                 15.12.2003

Untersuchung und Implementierung einer Pricing- und Rule-Engine auf dem SAP Web Application Server

Bearbeiter:            Daniel Koke
Betreuung:            Maura C. Rodenberg-Ruiz
Beginn:                 15.11.2003

Enterprise Application Integration am Beispiel eines Dokumenten-Management Systems und des SAP Enterprise-Portals

Bearbeiter:            Alexander Freyschmidt
Betreuung:            Maurice Schoenmakers
Beginn:                 15.11.2003

Entwicklung eines Dienstekonzepts für das Mensch-Maschine-Interface (MMI) System eines Fahrzeugs

Bearbeiter:            Jürgen Steurer
Betreuung:            Martin Deubler
Beginn:                 15.10.2003

Unit-Test-Automatisierung für ein Simulations-Framework

Bearbeiter:           Christian Felbermeir
Betreuung:            Dr. Heiko Lötzbeyer
Beginn:                 15.10.2003

Optimierungsstrategien für embedded JVM's

Bearbeiter:           Tilmann Ochs
Betreuung:            Andreas Bauer
Beginn:                 15.10.2003

Modellierung der Wertschöpfung für elektronische Dienste und Geschäftsprozesse
Bearbeiter:           Uwe Sandner
Betreuung:            Peter Dornbusch
Beginn:                 15.09.2003
Isabelle Umsetzung der Theorie buchstabierender Automaten
Bearbeiter:           Borislav Gajanovic
Betreuung:            Dr. Bernhard Rumpe
Beginn:                 15.09.2003
Generierung von ausführbaren Testfällen aus formalen Testfallbeschreibungen am Beispiel von IEC 1131
Bearbeiter:           Boris Edenhofer
Betreuung:            Dr. Alexander Pretschner
Beginn:                 15.09.2003

Werkzeugunterstützte Analyse von UML Sequenzdiagrammen und Subsystemen

Bearbeiter:           Stephan Schwarzmüller
Betreuung:            Jan Jürjens
Beginn:                 15.08.2003

Werkzeugunterstützte Analyse von UML Aktivitäts- und Zustandsdiagrammen

Bearbeiter:           Gergely Kokavecz
Betreuung:            Jan Jürjens
Beginn:                 15.08.2003

Werkzeugunterstützte Analyse von sicherheitskritischen SAP Berechtigungen im Bankenbereich

Bearbeiter:           Sebastian Höhn
Betreuung:            Jan Jürjens
Beginn:                 15.06.2003

Automatisierte Testfallgenerierung für UI-basierte Anwendungen

Bearbeiter:           Axel Ruder
Betreuung:            Michael Meisinger
Beginn:                 15.06.2003

Aspektorientierte Modellierung von Softwarearchitekturen

Bearbeiter:           Lucien Hoogendoorn
Betreuung:            Dr. Andreas Rausch
Beginn:                 15.06.2003

Prozess- und Tool-Schnittstellen zwischen Zielemanagement und Lastenheftprozess zum Anforderungsmanagement im Produktentwicklungsprozess der Prozesskette Elektrik/Elektronik

Bearbeiter:           Andrea Horn
Betreuung:            Stefan Wagner
Beginn:                 15.06.2003

Generierung von Host-Schnitstellen aus UML-Modellen für die Finanzanwendungen der IZB Soft

Bearbeiter:           Sebastian Winter
Betreuung:            Dr. Andreas Rausch
Beginn:                 15.06.2003

Evaluierung von UML-Modellen -- Heuristiken und Metriken zur Qualitätssicherung

Bearbeiter:           Daniel von Roennebeck
Betreuung:            Andreas Günzler
Beginn:                 15.06.2003

Evaluierung Rekonfigurierbarer Referenzarchitekturen für die Realisierung adaptiver Protokolle im Bereich mobiler Telekommunikation

Bearbeiter:           Hicham Loukili
Betreuung:            Norbert Diernhofer
Beginn:                 15.06.2003

Recht und Gesetz im digitalen Zeitalter

Bearbeiter:           Fabian Kainzinger
Betreuung:            Norbert Diernhofer
Beginn:                 15.06.2003

Aufbau eines Portals für Software-Maintenance
Bearbeiter:           Thomas Off
Betreuung:            Dr. Markus Pizka
Beginn:                 15.05.2003
Erweiterung des AQUA-Systems: ODL-Sprachkonstrukte und interaktive Benutzungsschnittstelle
Bearbeiter:           David Trachtenherz
Betreuung:            Dr. Bernhard Schätz
Beginn:                 15.05.2003

Migration einer CGI-Webanwendung in eine J2EE-Anwendung am Beispiel des IPR-Verfahrens der Common Source Database

Bearbeiter:           Roland Werner
Betreuung:            Stefan Wagner
Beginn:                 15.05.2003

Analyse und Anpassung des initialen Software-Prozesses bei BMW Car IT vor dem Hintergrund des Softwarereifegradmodells CMMI.

Bearbeiter:           Wassiou Olarewaju Sitou
Betreuung:            Maura Rodenberg-Ruiz
Beginn:                 15.05.2003

Deklarative Beschreibung von Benutzungsoberflächen

Bearbeiter:           Florian Deißenböck
Betreuung:            Gerd Beneken
Beginn:                 15.05.2003

Onboard Testsystem für teilautomatisierte Benutzerfunktionstests in Fahrzeugen

Bearbeiter:           Raymond Schulz
Betreuung:            Alexander Pretschner
Beginn:                 15.05.2003

Bewertung von Requirements-Engineering- und Prozeßänderungsmangement-Techniken bezüglich Geschäftsprozess-Analyse und -Optimierung

Bearbeiter:           Uwe Römers
Betreuung:            Carsten Tauss
Beginn:                 15.05.2003

Parametrisierte Codegenerierung aus Klassendiagrammen

Bearbeiter:           Raimund Steger
Betreuung:            Dr. Bernhard Rumpe
Beginn:                 15.04.2003

Studie: Bedeutung und Stand der Technik der Software-Wartung in kleinen und mittelständischen Unternehmen

Bearbeiter:           Karin Katheder
Betreuung:            Dr. Markus Pizka
Beginn:                 15.05.2003

Anforderungsanalyse mit AutoFOCUS 2

Bearbeiter:           Lei Chen
Betreuung:            Dr. Bernhard Schätz
Beginn:                 15.03.2003

Generierung von SPARK-Annotationen für AutoFOCUS

Bearbeiter:           Peter Gierl
Betreuung:            Dr. Oscar Slotosch
Beginn:                 15.03.2003

Integration eines dynamischen Interaktionsdienstes in ROTOR

Bearbeiter:           Anis Charfi
Betreuung:            Frank Marschall
Beginn:                 15.02.2003

Handheld-basiertes persönliches Zeitmangement

Bearbeiter:           Christian Lieb
Betreuung:            Markus Pizka
Beginn:                 15.03.2003

Regelbasierte Diagnose und integriertes Fehlermanagement im Fahrzeug

Bearbeiter:           Martin Obermeier
Betreuung:            Martin Rappl
Beginn:                 15.01.2003

Entwicklung eines Lokalisierungskonzeptes für mobile Netzwerke

Bearbeiter:           Philipp von Bassewitz
Betreuung:            Michael Fahrmair
Beginn:                 15.01.2003

Entwicklung mobiler Dienste durch ein webbasiertes User-Toolkit

Bearbeiter:           Markus Eberle
Betreuung:            Peter Dornbusch
Beginn:                 15.01.2003

Konzepte für verteilte und dynamisch generierte Benutzeroberflächen
Bearbeiter:           Christian Wied
Betreuung:            Maurice Schoenmakers
Beginn:                 15.12.2002
Entwurf einer Softwarearchitektur für die automatisierte Prüfung und Inbetriebnahme von Elektronikkomponenten im Automobil während der Montage
Bearbeiter:           Christian Kühnel
Betreuung:            Jan Romberg
Beginn:                 15.11.2002
Verwendung von Organisationsmodellen in Produktentwicklungsprozessen im Maschinenbau
Bearbeiter:           Sylvia Pohlmann
Betreuung:            Gerhard Popp
Beginn:                 15.11.2002
Analyse und Konzeption eines Software-Entwicklungsprozesses für Prototyp-Entwicklungen im Automotive-Bereich
Bearbeiter:           Andreas Kohler
Betreuung:            Michael Gnatz
Beginn:                 15.11.2002
Einsatz von Refactoring in Langzeitprojekten - Fallstudie
Bearbeiter:           Elena Kolodizki
Betreuung:            Markus Pizka
Beginn:                 15.11.2002
Konzeption und prototypische Implementierung einer Software-Diagnose-Infrastruktur im Fahrzeug
Bearbeiter:           Daniel Schick
Betreuung:            Alexander Pretschner
Beginn:                 15.10.2002
Modellbasiertes Editorenkonzept für AutoFocus 2
Bearbeiter:           Andreas Schweiger
Betreuung:            Peter Braun, Bernhard Schätz, Alexander Wisspeintner, Tobias Hain
Beginn:                 15.10.2002
Konfigurationsmanagement im Fahrzeug
Bearbeiter:           Robert Senger
Betreuung:            Peter Braun
Beginn:                 15.09.2002
Analyse von Konzepten und Werkzeugen für automatisierte GUI-Tests
Bearbeiter:           Marcus Adlwart
Betreuung:            Bernhard Rumpe
Beginn:                 15.08.2002
Entwurf und Realisierung einer Infrastruktur zur Verwaltung von Einstellungen und Benutzerdaten für unterschiedliche Fahrzeugnutzer
Bearbeiter:           Christian Pfaller
Betreuung:            Peter Braun
Beginn:                 15.08.2002
Entwurf eines Onboard Datenhaltungssystems zur Selbstbeschreibung von Fahrzeugen zur Unterstützung von Service, Diagnose und Konfigurationsmanagement.
Bearbeiter:           Stefan Claus
Betreuung:            Peter Braun
Beginn:                 15.08.2002
Eine technische Analyse von Ansätzen für Web Services
Bearbeiter:           Thomas Stowasser
Betreuung:            Christian Salzmann
Beginn:                 15.07.2002
Modellbasierte Sicherheitsanalyse einer Bankapplikation
Bearbeiter:           Johannes Grünbauer
Betreuung:            Jan Jürjens, Guido Wimmel
Beginn:                 15.07.2002
Übersetzung funktionaler Sprachen mittels GNU CC - Tailcals
Bearbeiter:           Andreas Bauer
Betreuung:            Markus Pizka
Beginn:                 15.07.2002

Tobias Hain, Juni 2003