Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit Programmierung und Softwaretechnik

Abgeschlossene Diplomarbeiten

2006

• Verwaltung der Landnutzung in DANUBIA - der Unified Process angewendet (Hennicker, Ludwig)
• Entwicklung einer Software zur Anwendung von Methoden der thermographischen Bildverarbeitung (Wirsing/Hacklinger, Klingert (Uni BW))
• Entwicklung einer webbasierten Anwendung zur Unterstützung des Erstellungsprozesses von Diagnosedaten für KFZ-Steuergeräte (Wirsing/Hacklinger, Weyrath)
• Beurteilung und Test von leichtgewichtigen Persistenzschichten in der BMW Group (Wirsing/Hacklinger, Beschorner)
• Verifikation dynamischer Komponentenkonfigurationen im Java/A Framework (Wirsing/Hacklinger)
• Entwurf und Implementierung eines Komponentenrepository für Java/A-Komponenten (Wirsing/Hacklinger)
• Web Engineering für asynchrone, verteilte Anwendungen (Wirsing/Koch/Stabl, F.A.S.T. GmbH)
• Sicherheit in Peer-to-Peer Netzwerken (Wirsing/Baumeister/Siemens AG, Abteilung CT IC 6)

2005

• Automatic Layout for a Systemic CAD Tool (Hennicker/Wegmann)
• Entwicklung einer integrierbaren Ressourcenverwaltung für Automotive Infotainment-Systeme (Hennicker/Schultz/Dotzler)
• Entwicklung eines Web Services im heterogenen Umfeld zur Untersuchung der Anwendungsintegration und Interoperabilität (Wirsing/Koch/Voglgsang)
• Modellprüfung von UML-Zustandsmaschinen und UML-Kollaborationen in SAL (Wirsing/Knapp)
• Constructing Automata for UML 2.0-Interactions (Wirsing/Knapp)
• Entwicklung und Implementierung einer Prozeßsteuerung für das PUSH-System (Wirsing/Knapp/Hacklinger)
• Entwurf und Implementierung einer Verteilungsplattform fr die Komponententechnologie Java/A (Wirsing/Hacklinger)
• Entwicklung eines Frameworks fr transaktionale Web Anwendungen (Wirsing/Koch)
• Automatische Aufbereitung und dynamische Repräentation von Kundenprojekten aus SAP CRM (Wirsing/Hacklinger/Infineon)
• Generierung von Zustandsdiagrammen aus Sequenzdiagrammen (Knapp/ Hennicker)

2004

• Designing Enterprise Architectures with the SEAM Method - In-Depth Study, Application and Critical Analysis (Hennicker/Wegmann)
• Prototypische Entwicklung eines wissensbasierten Intranets mit Methoden des Web-Engineering (Hennicker/Schmidbaur)
• Implementierung eines Generators und Datenmodells für medienkonfigurierbare Surveytools (Wirsing/Knapp)
• Ein Eclipse-Plugin zum visuellen Entwurf von JUnit-Tests basierend auf UML und GEF (Wirsing/Knapp)
• Entwurf und Implementierung eines dynamisch rekonfigurierbaren Webservice basierten Workflow Management Systems (Wirsing/Knapp)
• Dynamische Abläufe in Web-Anwendungen (Kraus/Koch/Hennicker)
• Lineare schwache alternierende Automaten und das Model Checking Problem (Wirsing/Knapp)

2003

• Validierung von Spezifikationen fr graphische Modelle durch Model Checking und andere formale Methoden (Wirsing/Knapp/Birken)
• Analyse, Design und Implementierung einer Schnittstelle für Planungsprozesse (Wirsing/Hacklinger/Bachofner)
• Entwicklung eines offenen Frameworks zum Retrieval von Informationen aus konfigurierbaren Quellen (Wirsing/Koch)
• Personalisierung von Web-Anwendungen (Koch/Kraus/Hennicker)
• Formale objektorientierte Software-Entwicklung: Von Verträgen zu Programmen (Hennicker)
• Konzeption und Implementierung eines Unified Messaging Systems einschlie�ich eines intelligenten Nachrichtenverteilers (Wirsing/Baumeister/Grzeschniok)
• Analyse und Design eines Projektmanagement-Informationssystems (Hennicker)
• Entwurf und Implementierung von Diensten für ein universitäres Informationsystem basierend auf Web-Services (Wirsing/Knapp/Merz)
• Entwicklung eines internetbasierten Systems zur Verwaltung des Internetauftritts des Lehrstuhls für Programmierung und Softwaretechnik des Instituts für Informatik der Ludwig-Maximilians-Universität München (Wirsing/Knapp/Merz)

  2002

• CASE-Unterstützung bei der Modellierung von Web-Anwendungen (Wirsing/Knapp/Koch)
• Entwicklung eines Generators zur semi-automatischen Erzeugung von Web-Anwendungen aus UML Design Modellen (Hennicker/Kraus)
• Entwicklung eines Workflow-Management-Systems basierend auf UML-Aktivitätsdiagrammen (Wirsing/Knapp)
• Real-Time Model Checking von UML State Machines (Nipkow/Merz/Knapp)
• Konzeption und Erstellung einer Formular-Engine für Websites (Wirsing/Baumeister)
• Ein Werkzeug zum Round-trip Engineering mit UML (Wirsing/Knapp)
• Personalisierte User Agents fr Mobile Internet WinCE Clients (Wirsing/Holland/Baumeister)

  2001

• Muster zum komponentenorientierten Entwurf betrieblicher Informationssysteme unter Verwendung von EJB (Hennicker)
• Analyse und Design einer Softwarelösung zur Auftragsverwaltung in Versorgungsunternehmen auf Basis der Unified Modeling Language (UML) (Wirsing/Hennicker)
• Modellierung und Implementierung eines Produktkonfigurators für ein interaktives Selling-System (Hennicker)
• Entwicklung eines Editors zur Darstellung und Bearbeitung von hierarchischen Workflows (Wirsing/Knapp)
• Model Checking and Compiling UML State Machines (Wirsing/Knapp/Merz)
• Analyse und Entwurf einer Software-L�ung zur aktiven Zeitwirtschaft mit SAP (Hennicker)

  2000

• Ein Interpreter für OCL (M. Wittmann) (Wirsing/Cengarle)
• Integration neuer Repository- und Steuerungskomponenten in ein CASE-System (Wirsing/Knapp)
• Redesign und Reimplementierung der Entwicklungsgraphkomponente für das PUSH-System (Wirsing/Knapp)
• Objektorientierte Modellierung von Geschäftsprozessen mit der UML (Hennicker)
• PCIS - Personalisiertes Community Informationssystem (Wirsing/Baumeister/Breu)
• Entwicklung einer intranet-basierten Unterstützung für Patterns (Wirsing/Broessler/Cengarle)

  1999

• Entwicklung einer intranet-basierten Unterstüzung einer Musterklassifikation (J. Mutter) (Wirsing/Broessler/Cengarle)
• Sichtung und Katalogisierung von weltweit verfügbaren Patterns (Wirsing/Broessler/Cengarle)
• Enwicklung eines Editors zum Management komplexer URL-basierter Wissenbasen unter Berücksichtigung lernpsychologischer Konzepte (O. Götzenberger) (Wirsing/Cengarle, Linder-Kostka)
• Sicherheitskonzepze für web-basierte Data Warehouse-Lösungen (Wirsing/Hennicker)
• Entwicklung eines Intranets zur wissensbasierten Unternehmenskommunikation (Wirsing/Baumeister)
• Evaluation of the SanFrancisco Framework Based on the Design of an Order Management Application (Wirsing/Kosiuczenko)
• An OO-Framework for Storing and Exchanging Formal Language Components (Wirsing/Reus)
• Übersetzung von UML-Kollaborationsdiagrammen nach Java (Wirsing/Knapp)
• Produktivitätsvergleich eines Software Frameworks (IBM SanFrancisco) mit einem herkömmlichen 4-GL-System (Oracle Designer/Developer) (Wirsing/Reichl)
• Eine Benutzeroberfläche für das Beweissystem Lego als Java-Bean (Wirsing/Reus)
• Blackboard Architektur für diagrammatische Front-Ends (Wirsing/Merz)
• Design and Implementation of Accounting Models for Services in Agent-based Information Systems (Wirsing/Baumeister)
• Entwicklung einer Datenbankunterstützung und eines Kommunikationforums für ein web-basiertes Tutoring-System (Wirsing/Koch)
• Entwicklung einer graphischen Benutzeroberfläche für eine Software-Lösung zur Recyclinganalyse auf Basis der Unified Modeling Language (UML) (Wirsing/Hennicker)
• Genetische Algorithmen und ihre Anwendung zur Prognose finanzwirtschaftlicher Daten (Wirsing/Reus)
• Navigation auf Objekt-Beziehungs-Netzen in XML-Dokumenten (Wirsing/Meyer)

  1998 und früher

• Erstellung eines Process-Engineering Werkzeugs (Wirsing/Störrle)
• Formalisierung einer strukturierten operationellen Semantik für multi-threaded Java in Isabelle (Lengauer/Wirsing/Reus)
• Entwicklung eines unternehmensspezifischen Vorgehensmodells und eines zugehörigen Methodenhandbuches (Wirsing/Hennicker)
• Konfigurierbare Graphik-Interpretation in einem generischen Editor (Wirsing/Meyer)
• Navigation auf Objekt-Beziehungs-Netzen in XML-Dokumenten (Wirsing/Meyer)
• JaKoB - Ein WWW-basiertes System zum Aufbau und zur Verwaltung von Java-Komponentenbibliotheken: Anfragebearbeitung (Wirsing/Knapp)
• Konfluenz von Constraint Handling Rules (Wirsing/Frühwirth)
• JaKoB - Ein WWW-basiertes System zum Aufbau und zur Verwaltung von Java-Komponentenbibliotheken: Bibliotheksaufbau (Wirsing/Knapp)
• Graphischer Editor für hierarchische Graphen (Wirsing/Mandel/Maier)
• Graphisches Strukturierungstool für Telelearning-Umgebungen in JAVA (Wirsing/Reus)
• Analyse, Design und Implementierung einer Intranet Anwendung zur Unterstützung der Vertriebsprozesse (Wirsing/Koch)
• Ein System für adaptive psychologische Tests (Wirsing/Perleth/Knapp)
• SmexWeb: Ein adaptives web-basiertes Übungssysteme (Wirsing/Koch)
• Eine Hypertext-Struktur für abgeschlossene adaptive Systeme (Wirsing/Koch)
• Entwicklung einer voxel- und polygonbasierten Graphikbibliothek für die medizinische Bildverarbeitung (Wirsing/Koch)
• Elektronische Produktkataloge im Internet (Wirsing/Knapp)
• Der systematische Übergang von der Analyse zum Entwurf in objektorientierten Entwicklungstechniken (Wirsing/Knapp)
• Formale Methoden in der objektorientierten Softwareentwicklung am Beispiel von OOSDM (Wirsing/Knapp)
• Entwicklung eines WebTeX-Browsers (Wirsing/Merz)
• Integration objektorientierter Applikationen und relationaler Datenbanksysteme im Software-Entwicklungs-Prozeß (Wirsing/Cengarle, Rose)