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

Abgeschlossene Fortgeschrittenenpraktika

2006

• Integration hierarchischer Komponenten in die Component Composition Platform (Wirsing/Hacklinger)
• Entwicklung eines Modellierungstools für Aspekte-orienterte Klassendiagramme (Wirsing/Zhang)
• Übersetzung von Aktivitätsdiagrammen der Mobile UML nach Mobiler Temporallogik (Wirsing/Zhang)
• Entwicklung einer Komponente zur Darstellung von Kreuztabellen (Wirsing/Hacklinger/Zhang)
• ArgoMobile: Ein ArgoUML-Plugin für die Modellierung von Mobilen Systemen (Wirsing/Zhang)
• Testautomatisierung für die logistische Teileversorgung im Automobilbereich (Hennicker, Schmidbauer)
• Erstellung eines Unterstützungssystems zurVorlesungsverwaltung (Wirsing/Hölzl)
• Werkzeug-Unterstützung der Aspekt-orientierten Modellierung von Zugriffskontrolle in Web-Anwendungen (Wirsing/Zhang)
• Sensoren im DeepActor-Framework von DANUBIA (Hennicker/Janisch)

2005

• Implementierung von Round-Trip-Engineering in die Component Composition Platform (Wirsing/Hacklinger)
• Entwicklung und Implementierung der Kommunikation des Peer-to-Peer Workflow Management Systems PFlow für den Personal Digital Assistant vom Typ Blackberry (Wirsing/Knapp)
• Manueller Import für LMU-Mitarbeiter-Digitaldatenerfassung (Wirsing/Zhang)
• Entwicklung und Implementierung eines Modellierungswerkzeugs für das Peer-to-Peer Workflow Management System PFlow für den Personal Digital Assistant vom Typ Blackberry (Wirsing/Knapp)
• Portierung der der PHP-Template-Maschine patTemplate nach Java (Wirsing/Hacklinger/Rabl)
• Entwicklung eines komponentenbasierten Spielserversystems (Wirsing/Hacklinger)
• Erstellung eines Unterstützungssystems zur Betreuung von Projekt- und Diplomarbeiten (Wirsing/Hacklinger)
• Technischer Entwurf eines Web-Managementsystems am CDTM (Wirsing/Hacklinger/Knapp)
• Projektmanagement: Entwicklungskoordination eines Web-Managementsystems am CDTM (Wirsing/Hacklinger/Knapp)
• Integration heterogener Verschlüsselungsmechanismen in ein Werkzeug zur Realisierung von Datenaustauschbeziehungen (Hennicker/Adam)
• Zusätzliche Optimierungen für den Functional Developer Compiler. (Wirsing/Hölzl)

  2004

• Model Checking von UML State Machines: Visualisierung von SPIN-Gegenbeispielen (Wirsing/Knapp)
• Translation of UML state machines into Java (Wirsing/Knapp)
• Entwicklung eines Frontends zum Software-System GABI (Wirsing/Hacklinger)
• Entwicklung einer IDE für Java/A (Wirsing/Hacklinger)
• Erweiterung des PUSH-Systems um Group Awareness (Wirsing/Hacklinger/Knapp)
• Generische Dienste im PUSH-System (Wirsing/Hacklinger/Knapp)

2003

• Portierung eines Spiels auf mobile Telefone (Wirsing/Hacklinger)
• Erweiterung des USE-Tools um einen OCL 2.0-Beweisverpflichtungsgenerator (Hennicker/Knapp)
• Ein Layout-Editor für Web-Anwendungen (Hennicker/Kraus)
• SmexWeb: Anpassung an aktuelles Umfeld und Implementierung eines neuen Registrierungverfahrens (Wirsing/Koch)
• Implementierung eines Bounded Model Checkers in Java (Wirsing/Knapp)
• Entwicklung eines Workflow-Editors für bekleidungsindustrielle Anwendungen (Wirsing/Knapp)
• Entwicklung eines CASE Tools für UWE (Wirsing/Koch/Knapp)
• Code-Generierung für UML-Zustandsmaschinen mit Realzeitannotationen (Wirsing/Knapp)
• Model Checking von UML State Machines: Visualisierung von Gegenbeispielen als UML-Sequenzdiagramme im CASE-Tool ArgoUML (Wirsing/Knapp)
• Implementierung eines Musters zur Netzwerk-Kommunikation im DANUBIA System (Hennicker/Ludwig)

  2002

• Entwicklung eines konfigurierbaren Frameworks zum Retrieval von Literarturdaten aus dem Internet (Wirsing/Koch)
• Visualisierung des Kalküls des Natürlichen Schließens (Merz)
• Transformation von UML/OCL-basierten Systemspezifikationen (Hennicker)
• Entwicklung eines Zeit-Controllers für ein System verteilter Umweltsimulationen (Hennicker/Barth)
• Model Checking von UML State Machines: Optimierungen und Erweiterungen (Wirsing/Knapp/Merz)
• Optimierung des PUSH-Servers (Wirsing/Hacklinger/Knapp)

  2001

• Erweiterung eines CASE-Tools um die Generierung von Standard-Komponenten und Schnittstellen (COM und CORBA) (Wirsing/Kosiuczenko)
• Ein Editor für UML-Aktivitätsdiagramme (Wirsing/Knapp)
• Optimierung von mobilen Internet-Applikationen zur Laufzeit (Wirsing/Knapp)

  2000

• Java-Codegenerierung aus UML-Zustandsdiagrammen (Wirsing/Knapp)
• Reengineering einer Anwendung zum Angebot von Immobilienobjekten im World Wide Web (Wirsing/Koch)

  1999

• Websites von Universitäten (Wirsing/Merz)
• Evaluierung der Repositorys Enabler von Softlab und HPCTE der Universtät Siegen für die Verwendung in POTENTIAL (Wirsing/Störrle)

  1998 und früher

• Software für die Auswertung von immunologischen Tests im Lebensmittelbereich (Wirsing)
• Automatische Dokumentation für Windows NT Server (Wirsing)
• WWW Formulargenerator für HTML (Wirsing/Frühwirth)
• Evaluierung der Reengineeringfähigkeiten des CASE-Werkzeugs "Software through Pictures" (Wirsing/Kosiuczenko)
• Ein Konfluenztester für Constraint Handling Rules (Wirsing/Frühwirth)
• Teach&Learn@Internet (Wirsing/Cengarle)
• Einsatz von Sun's Java Compiler Compilers (JCC) zur Erstellung von Parse-Trees am Beispiel der Sprache LEGO (Wirsing/Reus)
• Aktienkursdarstellung im Internet mittels Java (Wirsing/Reus)
• Darstellung von LaTeX-Dokumenten als Hypertext (Wirsing/Merz)
• Internetbasierte Verarbeitung heterogener Ein-/Ausgabedaten (Wirsing/Knapp)
• Algorithmen zum kreativen Verstehen von Texten (Wirsing)
• Multimedia-Umgebungen für die Lehre (Wirsing)
• Implementierung eines Reisekostenabrechnungssystems (Wirsing)
• Darstellung von WWW-Navigationsstrukturen im CSDM-System (Wirsing/Knapp)
• Implementierung der EPKfix-Klassenhierarchie in Java (Wirsing/Knapp)
• Übersetzung von EPKML in Java (Wirsing/Knapp)
• Darstellung von Netzwerken im CSDM-System (Wirsing/Knapp)
• Fortführung des Softwarepraktikums PEPSY (Wirsing/Knapp)
• Signaturberechnung von C++-Klassen (Wirsing/Knapp)
• Evaluierung des objektorientierten Softwareentwicklungstool Together/C++ anhand einer Fallstudie (Wirsing)
• Kollaboratives Filtern von Web-Dokumenten (Wirsing/Procoter)