Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

abgeschlossen 2006 und früher

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)