PSlogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt
unilogo Universität Stuttgart
Home | Institut | Abteilung | Allgemeines | Lehre | Forschung | Aktuelles
 

Studien- und Diplomarbeiten in der Abteilung Programmiersprachen

 

Zur Zeit werden zu den folgenden Themenstellungen Studien- und Diplomarbeiten angeboten. Kandidaten, welche die Vorlesung über Programmanalysen gehört haben, haben in aller Regel die besten Chancen, eines dieser Themen erfolgreich zu bearbeiten.

Aktuelle Themen:
  • Realisierung von interprozeduralen Datenfluss-Frameworks
  • Graph-Browser-Anbindung für die Zwischendarstellung des Frontends (Studienarbeit)
  • Zeigeranalysen:
    • Studien über die Verwendung von Zeigern
    • Optimierungen für bestehende Verfahren
  • Analyse objektorientierter Systeme:
    • Auswirkungen der Objektorientierung auf gewöhnliche Analysen
  • Programme mit graphischen Benutzerschnittstellen:
    • Analyse der Struktur von GUIs
    • Erfassung der dynamischen Aspekte von GUIs durch statische Analysen
    • Analyse der Anwendungsarchitektur
    • Migration von handcodierter GUI auf GUI-Builder unterstützen
  • Analyse von parallelen Programmen:
    • Sprachübergreifende Modellierung von Parallelität
  • Analyse von großen Programmsystemen:
    • Optimierung einer Zwischendarstellung für große Systeme

Wir haben sehr häufig Themen für Diplom- und Studienarbeiten, die noch nicht offiziell hier angekündigt sind. Sollten Sie Interesse an den Themengebieten Programmanalysen, Programmverstehen, Reverse-Engineering oder Reengineering haben, sprechen Sie mit uns.

Fragen Sie Stefan Staiger nach weiteren Themen!

Laufende Arbeiten

Abgeschlossene Arbeiten

Arbeiten erfolgten in den folgenden Themenbereichen:

Der Text der folgenden Diplom- und Studienarbeiten kann in der Institutsbibliothek oder z.T. auch über MeDoc eingesehen werden.

Programmiersprachenentwurf

  • Erweiterungen des Typsystems der verteilten Programmiersprache DHOP,
    Uwe Willmann, DA 1248 (1995)
    CR-Klassif. : D.3.3; D.3.4
    BV-Nummer : 17843
  • Verfeinerte Strukturierungselemente für objektorientierte Programmiersprachen,
    Klaus Brouwer, DA 1524 (1997)
    CR-Klassif. : D.1.5; D.3.3
    BV-Nummer : 19217
  • Entwurf eines graphen-orientierten Typkonzeptes,
    Andreas Uwe Kübler, DA 1350 (1996)
    CR-Klassif. : D.3; E.1
    BV-Nummer : 18381
  • Entwicklung einer "Role Playing Definition Language" (RPDL),
    Michael Mutschler, DA 1848 (2000)
    CR-Klassif. : D.3.2
    BV-Nummer : 20498
    [Aufgabenstellung] [Ausarbeitung]

Sprachimplementierungen

  • Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph,
    Michael Stürmer, DA 2182
  • Entwurf und Implementierung der Codeerzeugung für einen DHOP-übersetzer,
    Heike Weiss, DA
  • Entwurf und Implementierung eines verteilten Laufzeitsystems für einen DHOP-Übersetzer,
    Stefan Krauß, DA
  • Type-Checking and Overloading-Resolution for Hoopla,
    Karsten Jung, DA 1386
    [Ausarbeitung]
  • Entwurf und Implementierung eines Backends für die objektorientierte Sprache Hoopla,
    Martin Würthner, DA 1538
  • Implementierung eines Eiffel-Compilers für Sun/SPARC,
    Fridtjof Siebert, DA 1484
    [Ausarbeitung]
  • Entwicklung eines C-Front-Ends,
    Thomas Schlenker, SA
  • A SUIF Java Compiler,
    Holger Kienle, DA
    [Ausarbeitung]

Scanning und Parsing

  • Entwicklung einer Flex-Schnittstelle für einen Scanner Generator, DA
    Bearbeiter: Torsten Hendel
    Betreuer: Erhard Plödereder
  • Effiziente Implementierung endlicher Automaten - eine praktische Untersuchung,
    Klaus Brouwer, SA
  • LR(1)-Parsing mit LALR(1)-Parsern,
    Mathias Luttenberger, SA 1621
  • Implementierung eines LR(k)-Parsergenerators,
    Cristina Cojocaru, SA 1491
  • Ein Werkzeug zur Transformation kontextfreier Grammatiken in LALR(1),
    Jürgen Klarmann, DA
  • Automatische Generierung direkt ausführbarer LALR(1)-Parser,
    Joachim Reik, SA
  • Generierung von fehlerbehandelnden Parsern für Query-Output Sprachen aus benutzernahen Spezifikationen,
    Thomas Schnabel, DA
  • Entwurf und Implementierung eines Scanner-Generators zur Erzeugung direkt-programmierter Scanner,
    Viktor Flemmer, DA
  • Implementierung eines Earley-Parsergenerators,
    Christoph Schemainda, SA 1679
    [Ausarbeitung]

Zwischendarstellungen

  • Konzeption und Generierung eines Resource-Flow-Graphs für Cobol Markus Müller, SA 1915 (2004)
    Betreuer: Dr. R. Koschke
    CR-Klassif. : D.3.4; E.1; D.2.2
    BV-Nummer : 21887
     
  • Repräsentation von Makros in IML
    Lu, Leiqin, SA 1851 (2002)
    Betreuer: Dr. Rainer Koschke und Yan Zhang
    CR-Klassif. : D.2; D.3.4
    BV-Nummer : 21280
     
  • Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme ,
    Markus Knauss, DA 2006 (2002)
    CR-Klassif. : D.3.4
    BV-Nummer : 21310
     
  • Prozessmodelle für die Rekonstruktion von Software-Architektursichten ,
    Jens Knodel, DA 1987 (2002)
    CR-Klassif. : D.2.7; D.2.11; K.6.3
    BV-Nummer : 21290
     
  • RFG Generierung mit ASIS ,
    Achim Kern, SA 1832 (2002)
    Betreuer: Jörg Czeranski
    CR-Klassif. : D.3.3; D.3.4
    BV-Nummer : 21168
     
  • Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada Programmen,
    Martin Würthner, SA 1567 (1996)
    [Ausarbeitung]
    CR-Klassif. : D.3.4
    BV-Nummer : 18666
     
  • Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator,
    Andreas Merling, DA 1434 (1996)
    [Ausarbeitung]
    CR-Klassif. : D.3.1; D.3.4
    BV-Nummer : 18792
     
  • Erweiterung und Generierung einer Zwischendarstellung für C-Programme,
    Jürgen Rohrbach, SA 1662 (1998)
    [Ausarbeitung]
    CR-Klassif. : D.3.4
    BV-Nummer : 19446

Aliasing

  • Eine Untersuchung über Häufigkeit und Kontext von Aliasing in Ada-Programmen,
    Bernhard Riedhofer, SA 1526 (1996)
    CR-Klassif. : D.3.3
    BV-Nummer : 18434
     
  • Implementierung eines modifizierten Variablenmodells zur Vermeidung Parameter-induzierter Alias-Effekte auf Basis des GNU Ada 95 Compilers,
    Clemens Behrendt, DA 1555 (1997)
    CR-Klassif. : D.3.3
    BV-Nummer : 19344
    [Ausarbeitung]
     
  • Der Einfluß programmiersprachlicher Regeln und Konzepte auf die Disambiguierung von Variablenzugriffen,
    Stefan Schäckeler, SA 1697 (1998)
    CR-Klassif. : D.1.2; D.1.4; D.2.4; D.3.3
    BV-Nummer : 19558
     
  • Disambiguierung in der Static-Single-Assignment-Form,
    Victor Szasz, DA 1792, (1999)
    CR-Klassif. : F.3.2; D.2.7; D.3.4
    BV-Nummer : 20228

Programmverstehen und Reverse Engineering

Diverses

  • Ein Planungssystem für örtlich verteilte Ausbildungskurse
     
  • Beschreibungsmethodik für Varianten
    von Komponenten-Software in Kfz-Steuergeräten
    Betreuer: Dr. Rainer Koschke
     
  • Vergleichende Implementierung einer verteilten Anwendung unter Benutzung von CORBA/IIOP, RMI/RPC oder JSP, DA 1924 (2001)
    Bearbeiter: Kristian Tandjung
    Betreuer: Erhard Plödereder
    CR-Klassif. : H.4.3; D.2.12
    BV-Nummer : 20755
    [Ausarbeitung]
     
  • Unstrukturierter Kontrollfluß in C? - Eine praktische Untersuchung,
    Clemens Behrendt, SA 1521 (1996)
    CR-Klassif. : D.3.3; D.2.8
    BV-Nummer : 18629
     
  • Unstrukturierter Kontrollfluß in Ada? - Eine praktische Untersuchung,
    Markus Kosiol, SA 1488 (1995)
    CR-Klassif. : D.2.2; D.2.8
    BV-Nummer : 18205
     
  • Ada im praktischen Einsatz,
    Rüdiger Windholz, SA 1740 (1999)
    CR-Klassif. : D.2.2; D.2.7; H.4.1
    BV-Nummer : 19942
     
  • Entwurf und Implementierung einer make-Funktion für den GNU Ada Compiler GNAT,
    Andreas Merling, SA 1527 (1996)
    CR-Klassif. : D.2.2; D.2.6; D.2.7; D.3.3; D.3.4
    BV-Nummer : 18437
     
  • Spezifikation eines Grapheneditors,
    Axel Benz, SA 1584 (1996)
    CR-Klassif. : D.2.1; E.1
    BV-Nummer : 18785
    [Ausarbeitung]
     
  • Einsatz von Standard-HTML-Browsern in einer CORBA-Umgebung - Konzeption und prototypische Realisierung,
    Tomislav Sente, DA 1476 (1997)
    CR-Klassif. : C.2.1; C.2.4; D.1.5; H.5.1; K.6.0
    BV-Nummer : 18967
     
  • Entwurf und Implementierung einer Grafikprogrammiersprache zur Visualisierung musikalischer Werte,
    Paul Dehli, DA 1488 (1997)
    CR-Klassif. : D.3.4
    BV-Nummer : 19049
     

Valid HTML 4.01!

Last modified: Thu Sep 20 14:33:16 CEST 2007 (Mail-toAdmin) | © Universität Stuttgart | Impressum