ISTE: Abt. Programmiersprachen und Übersetzerbau

uni

suche

sitemap

kontakt

Universität Stuttgart


	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:

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 Steffen Keul nach weiteren Themen!

Laufende Arbeiten

Ein interaktives Planungssystem für Ausbildungskurse

Abgeschlossene Arbeiten

Arbeiten erfolgten in den folgenden Themenbereichen:

Programmiersprachenentwurf
Sprachimplementierungen
Scanning und Parsing
Zwischendarstellungen
Aliasing
Programmverstehen und Reverse Engineering
Diverses

Der Text der folgenden Diplom- und Studienarbeiten kann in der Institutsbibliothek oder z.T. auch über die registrierten Veröffentlichungen der Informatik eingesehen werden.

Programmiersprachenentwurf

Entwicklung einer "Role Playing Definition Language" (RPDL),
Michael Mutschler, DA 1848 (2000)
CR-Klassif. : D.3.2
BV-Nummer : 20498
[Aufgabenstellung] [Ausarbeitung]
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
Erweiterungen des Typsystems der verteilten Programmiersprache DHOP,
Uwe Willmann, DA 1248 (1995)
CR-Klassif. : D.3.3; D.3.4
BV-Nummer : 17843

Sprachimplementierungen

Ein LaTeX-Übersetzer : (a LaTeX compiler),
Cui, Hua, DA 2754 (2009)
CR-Klassif. : D.3.1; D.3.4
BV-Nummer : 24669
NgTeX Dokumentenerstellung als Übersetzungsvorgang mit modernen Konzepten,
Christian Stürmer, SA 2102 (2007)
CR-Klassif. : D.3.4
BV-Nummer : 23764
Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph,
Michael Stürmer, DA 2182 (2004)
CR-Klassif. : D.2.3; D.2.6; D.2.7; D.3.4; F.3.1
BV-Nummer : 22056
[Ausarbeitung]
A SUIF Java Compiler,
Holger Kienle, DA 1617 (1998)
CR-Klassif. : D.3.4; D.3.3; D.1.5; E.2
BV-Nummer : 19568
[Ausarbeitung]
Type-Checking and Overloading-Resolution for Hoopla,
Karsten Jung, DA 1386 (1997)
CR-Klassif. : D.3.2; D.3.4; D.3.m; F.2.m
BV-Nummer : 18919
[Ausarbeitung]
Entwurf und Implementierung eines Backends für die objektorientierte Sprache Hoopla,
Martin Würthner, DA 1538 (1997)
CR-Klassif. : D.3.4
BV-Nummer : 19330
Implementierung eines Eiffel-Compilers für Sun/SPARC,
Fridtjof Siebert, DA 1484 (1997)
CR-Klassif. : D.3.4; D.3.3; D.4.2; D.1.5
BV-Nummer : 21282
[Ausarbeitung]
Entwicklung eines C-Front-Ends,
Thomas Schlenker, SA 1599 (1997)
CR-Klassif. : D.3.4
BV-Nummer : 18969
[Ausarbeitung]
Entwurf und Implementierung eines verteilten Laufzeitsystems für einen DHOP-Übersetzer,
Stefan Krauß, DA 1264 (1995)
CR-Klassif. : C.2.4; D.3.3; D.3.4
BV-Nummer : 18080
Entwurf und Implementierung der Codeerzeugung für einen DHOP-übersetzer,
Heike Weiss, DA 1263 (1995)
CR-Klassif. : D.1.1; D.3.4
BV-Nummer : 18079

Scanning und Parsing

Entwicklung einer Flex-Schnittstelle für einen Scanner Generator,
Torsten Hendel, DA 1903 (2001)
Betreuer: Erhard Plödereder
CR-Klassif. : D.3.4
BV-Nummer : 20679
[Aufgabenstellung]
Entwurf und Implementierung eines Scanner-Generators zur Erzeugung direkt-programmierter Scanner,
Viktor Flemmer, DA 1593 (1998)
CR-Klassif. : D.3.4
BV-Nummer : 19421
Implementierung eines Earley-Parsergenerators,
Christoph Schemainda, SA 1679 (1998)
CR-Klassif. : D.3.4
BV-Nummer :19413
[Ausarbeitung]
LR(1)-Parsing mit LALR(1)-Parsern,
Mathias Luttenberger, SA 1621 (1997)
CR-Klassif. : D.3.4; F.4.2
BV-Nummer : 19079
Effiziente Implementierung endlicher Automaten - eine praktische Untersuchung,
Klaus Brouwer, SA 1577 (1996)
CR-Klassif. : D.3.4
BV-Nummer : 18775
Generierung von fehlerbehandelnden Parsern für Query-Output Sprachen aus benutzernahen Spezifikationen,
Thomas Schnabel, DA 1308 (1995)
CR-Klassif. : D.3.2; D.3.4
BV-Nummer : 18206
Ein Werkzeug zur Transformation kontextfreier Grammatiken in LALR(1),
Jürgen Klarmann, DA 1246 (1995)
CR-Klassif. : D.3.1; D.3.4; F.4.2
BV-Nummer : 17914
Implementierung eines LR(k)-Parsergenerators,
Cristina Cojocaru, SA 1491 (1995)
CR-Klassif. : D.3.1; D.3.3; D.3.4
BV-Nummer : 18222
Automatische Generierung direkt ausführbarer LALR(1)-Parser,
Joachim Reik, SA

Zwischendarstellungen

Identifikation und Extraktion relevanter Kenngrößen aus IML-Graphen.,
Ozan Kilic, DA 3003 (2010)
CR-Klassif. : D.2.2
BV-Nummer :
[Aufgabenstellung][Ausarbeitung]
Erzeugung der Bauhaus-Zwischendarstellung für große Programme,
Felix Billau, DA 2918 (2009)
CR-Klassif. : D.1.5; D.2.7
BV-Nummer : 24662
[Ausarbeitung]
Generierung der Zwischendarstellung RFG aus Modula-2,
Kolja Wohlbold, SA 2112 (2007)
CR-Klassif. : D.3.4; E.1; D.2.2
BV-Nummer : 23567
[Aufgabenstellung]
Generierung der Zwischendarstellung IML aus Java Classfiles,
Steffen Pingel, DA 2417 (2006)
CR-Klassif. : D.3.4
BV-Nummer : 22828
[Aufgabenstellung]
Generierung der Zwischendarstellung IML für Ada95 Programme,
Steffen Keul, DA 2323 (2005)
CR-Klassif. : D.3.4
BV-Nummer : 22604
[Aufgabenstellung] [Ausarbeitung]
Anbindung eines C++-Analysators an Bauhaus/RFG,
Traugott Streicher, DA 2273 (2005)
CR-Klassif. : D.3.3; D.3.4; K.6.3
BV-Nummer : 22425
Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML,
Martin Müller, SA 1968 (2005)
CR-Klassif. : D.3.3; D3.4
BV-Nummer : 22415
[Aufgabenstellung] [Ausarbeitung]
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
[Aufgabenstellung] [Ausarbeitung]
Erweiterung und Generierung der Zwischendarstellung IML für C++ Programme,
Sebastian Setzer, Tahir Karaca, DA 2048 (2003)
CR-Klassif. : D.3.4
BV-Nummer : 21496
[Ausarbeitung]
Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme ,
Markus Knauss, DA 2006 (2002)
CR-Klassif. : D.3.4
BV-Nummer : 21310
[Ausarbeitung]
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
[Ausarbeitung]
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
[Aufgabenstellung]
RFG Generierung mit ASIS ,
Achim Kern, SA 1832 (2002)
Betreuer: Jörg Czeranski
CR-Klassif. : D.3.3; D.3.4
BV-Nummer : 21168
Erweiterung und Generierung einer Zwischendarstellung für C-Programme,
Jürgen Rohrbach, SA 1662 (1998)
CR-Klassif. : D.3.4
BV-Nummer : 19446
[Ausarbeitung]
Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada Programmen,
Martin Würthner, SA 1567 (1996)
CR-Klassif. : D.3.4
BV-Nummer : 18666
[Ausarbeitung]
Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator,
Andreas Merling, DA 1434 (1996)
CR-Klassif. : D.3.1; D.3.4
BV-Nummer : 18792
[Ausarbeitung]

Aliasing

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
Untersuchung typischer Verwendungsmuster von Variablen zur Erprobung eines Variablenmodells ohne parameter-induzierte Aliaseffekte,,
Jörg Brunner, SA 1740, (1999)
CR-Klassif. : D.3.3
BV-Nummer : 20062
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
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]
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

Programmverstehen und Reverse Engineering

Entwurf und Implementierung der Klonerkennung mittels Suffix-Arrays,
Daniel Hofmann, DA 3066 (2010)
CR-Klassif. : D.2.7; I.7.2
BV-Nummer :
[Aufgabenstellung][Ausarbeitung]
Statische Erkennung von Synchronisationsfehlern bei zusammengesetzten Daten in nebenläufigen Programmen,
Stefan Franke, DA 2947 (2010)
CR-Klassif. : D.2.5; D.4.1
BV-Nummer : 24699
[Aufgabenstellung]
Program Slicing zur Beurteilung der Auswirkungen von Data Races,
Michael Debatin, SA 2213 (2009)
CR-Klassif. : D.1.3
BV-Nummer : 24594
[Aufgabenstellung]
Statische Erkennung von Deadlocks in Thread-Trace-Graphen,
Dominik Gunreben, DA 2815 (2008)
CR-Klassif. : F.3.2
BV-Nummer : 24604
[Aufgabenstellung]
Visualisierung von Race conditions in nebenläufigen Programmen,
Uli Müller, DA 2786 (2008)
CR-Klassif. : D.1.3; D.2.5
BV-Nummer : 24339
[Aufgabenstellung]
Eine adaptive Steuerung für statische Programmanalysen,
Hongliang Yao, DA 2756 (2008)
CR-Klassif. : D.3.4
BV-Nummer :
[Ausarbeitung]
Kombinierte statische Analysen,
Thomas Leske, DA 2737 (2008)
CR-Klassif. : D.2.7; D.3.4; E.2; F.3.2
BV-Nummer : 24282
[Aufgabenstellung] [Ausarbeitung]
Statische Analyse von Programmen mit Bibliotheken,
Minh Cuong Tran, DA 2707 (2008)
CR-Klassif. : D.3.4; F.3.2
BV-Nummer : 24110
[Aufgabenstellung] [Ausarbeitung]
Konzeption und Implementierung einer Wert-Propagierung für IML,
Bernhard Schmitz, DA 2695 (2008)
CR-Klassif. : F.3.2
BV-Nummer : 24133
[Aufgabenstellung]
Verbesserung statischer Analysen in praxisrelevanten Faellen,
Arthur Teuber, DA 2656 (2008)
CR-Klassif. : F.3.2
BV-Nummer : 23935
[Ausarbeitung]
Konzeption und Implementierung einer Escape-Analyse für IML,
Christoph Walter Knupfer, DA 2637 (2007)
CR-Klassif. : D.3.4; F.3.2
BV-Nummer : 23705
[Aufgabenstellung]
Analyse der Struktur von Software-Protokollen,
Benjamin Jung, DA 2591 (2007)
CR-Klassif. : D.2.7; D.2.8; D.3.3; F.3.
BV-Nummer : 23633
[Aufgabenstellung] [Ausarbeitung]
Algorithmen zur Berechnung von Kontrollabhängigkeiten,
Andreas Reuß, SA 2122 (2007)
CR-Klassif. : D.3.4; D.2.4
BV-Nummer : 23877
[Aufgabenstellung] [Ausarbeitung]
Schwierigkeiten für statische Programmanalysen in der Praxis,
Christoph Stach, SA 2108 (2007)
CR-Klassif. : D.2.8; D.3.3; D.3.4
BV-Nummer : 23879
[Ausarbeitung]
Analyse von Buildprozessen,
Sören Berger, SA 2098 (2007)
CR-Klassif. : D.2.5; D.2.9
BV-Nummer : 23660
Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung,
Martin Schwienbacher, DA 2468 (2006)
CR-Klassif. : D.3.3; F.3.2; D.2.3
BV-Nummer : 22945
[Aufgabenstellung]
Implementierung einer auf Binary Decision Diagrams basierenden Zeigeranalyse für C,
Alexander Becker, DA 2390 (2006)
CR-Klassif. : F.3.2; F.3.3
BV-Nummer : 22733
[Aufgabenstellung]
Konzeption und Implementierung einer Zeigeranalyse für C und C++,
Simon Frohn, DA 2374 (2006)
CR-Klassif. : F.3.2; F.3.3
BV-Nummer : 22671
Statische Analyse von GUI-Programmen,
Tuelay Cetin, SA 2059 (2006)
CR-Klassif. : F.3.2; D.2.7
BV-Nummer : 22931
[Aufgabenstellung] [Ausarbeitung]
Lock-basierte statische Erkennung von Race Conditions in parallelen Programmen,,
Bernd Albert, DA 2326 (2005)
CR-Klassif. : D.4.1; D.2.5
BV-Nummer : 22608
[Aufgabenstellung]
Kontrollflussanalyse objektorientierter Programme,
Markus Müller, DA 2212 (2005)
CR-Klassif. : F.3.2; F.3.3
BV-Nummer : 22363
[Aufgabenstellung] [Ausarbeitung]
Semi-Automated Mapping for the Reflexion Method,
Andreas Christl, DA 2160 (2005)
CR-Klassif. : D.2.7; D.2.11; H.3.3
BV-Nummer : 22273
[Ausarbeitung]
Quellcode-Navigation in Gravis,
Sinan Bagci, DA 2202 (2004)
CR-Klassif. : D.2.2
BV-Nummer : 22200
[Aufgabenstellung] [Ausarbeitung]
Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS,
Sascha Neinert, DA 2200 (2004)
CR-Klassif. : D.3.3; D.3.4
BV-Nummer : 22617
[Aufgabenstellung] [Ausarbeitung]
Visualisierung von Metriken mit GraVis,
Timea-Monika Illes, DA 2189 (2004)
CR-Klassif. : D.2.2; D.2.7; D.2.8
BV-Nummer : 22054
Semiautomatische Entfernung des duplizierten Codes,
Liu, Yidong, DA 2176 (2004)
CR-Klassif. : D.2.2
[Aufgabenstellung] [Ausarbeitung]
Integration der Merkmallokalisierung,
Thomas Wielandt, DA 2145 (2004)
Betreuer: Daniel Simon
CR-Klassif. : D.2.7; D.2.11; H.5.2
BV-Nummer : 21908
[Aufgabenstellung] [Ausarbeitung]
Werkzeuggestützte Herleitung von Protokollen,
Dietrich Haak, DA 2135 (2004)
Betreuer: Dr. R. Koschke
CR-Klassif. : D.2.4; D.2.7; D.3.3; F.3.1; F.3.2
BV-Nummer : 21884
[Aufgabenstellung] [Ausarbeitung]
Implementierung einer unifizierenden Zeigeranalyse mit gerichteten Zuweisungen,
Simon Frohn, SA 1941 (2004)
CR-Klassif. : F.3.2; F.3.3
BV-Nummer : 22217
[Aufgabenstellung]
Vergleich von Techniken zur Erkennung duplizierten Quellcodes,
Stefan Bellon, DA 1998 (2002)
Betreuer: Dr. Rainer Koschke
CR-Klassif. : D.2.7
BV-Nummer : 21282
[Aufgabenstellung] [Ausarbeitung]
Extraktion statischer Traces unter Berücksichtigung vonPoints-To-Informationen zur Konnektorerkennung und -beschreibung,
Gunther Vogel, DA 1940 (2001)
Betreuer: Thomas Eisenbarth
CR-Klassif. : D.2.11
BV-Nummer : 20752
[Aufgabenstellung]
Möglichkeiten von Reverse-Engineering zur Entwicklung eines Zahlungsverkehrssystems für Klein- und Großbanken,
Susanne Bürklen, DA 1933 (2001)
Betreuer: Erhard Plödereder
CR-Klassif. : D.2.7; D.2.11; K.6.3
BV-Nummer : 21075
[Aufgabenstellung] [Ausarbeitung]
Beschreibung einer halb-automatisch abgeleiteten Architektur mit UML-Ausdrucksmitteln,
Gregor Schiele, DA 1858 (2000)
CR-Klassif. : D.2.2; D.2.7; D.2.11
BV-Nummer : 20484
[Aufgabenstellung] [Ausarbeitung]
Komponentenerkennung durch Begriffsanalyse,
Alexander Porrmann, DA 1855 (2000)
CR-Klassif. : D.2.7; I.1.2; K.6.2
BV-Nummer : 20486
[Ausarbeitung]
Semi-automatische Herleitung von Komponentenprotokollen aus statischen Verwendungsmustern,
Timo Heiber, DA 1822 (2000)
CR-Klassif. : D.2.2; D.2.7; F.3.1
BV-Nummer : 20337
Statisches interprozedurales Program Slicing,
Gunther Vogel, SA 1786 (2000)
CR-Klassif. : D.2.5; D.2.6; I.2.5
BV-Nummer : 20488
Extraktion statischer Traces zur Wiedergewinnung von Protokollen,
Sven Hanssen, SA 1768
GropiusSE. Eine Resource Flow Graph Bibliothek in Ada95 für das Speichern und Aufbereiten von Reengineeringinformationen.,
Thomas Eisenbarth, SA 1663 (1998)
CR-Klassif. : D.3.4; E.1; D.2.2
BV-Nummer : 19452
[Ausarbeitung]
Visualisierung von dynamischen Datenstrukturen,
Armin Krieger, DA 1343 (1996)
CR-Klassif. : D.2.2; D.2.5; I.3.6
BV-Nummer : 18310

Diverses

Impact of methods and mechanisms for improving software dependability on non-functional requirements,
Jürgen Heit, DA 2548 (2007)
CR-Klassif. : B.8; C.4; D.2.2; D.2.8
BV-Nummer : 22273
[Ausarbeitung]
Evaluierung von Programmanalysewerkzeugen für die sichere Integration von Fremdsoftware in Kfz-Steuergeräte,
Benedict Weisshaar, DA 2440 (2006)
Betreuer: Dr. Rainer Koschke
CR-Klassif. : D.2.2; D.2.4; D.2.5; D.2.7; F.3.1; F.3.2
BV-Nummer : 22887
Layoutalgorithmen für hierarchische Graphen,
Achim Kern, DA 2324 (2005)
CR-Klassif. : I.3.4; I.3.5; I.3.6
BV-Nummer : 22601
[Aufgabenstellung] [Ausarbeitung]
Ein Planungssystem für örtlich verteilte Ausbildungskurse,
Magnus Schwab, DA 2307 (2005)
CR-Klassif. : H.5.2; I.2.8
BV-Nummer : 22585
[Aufgabenstellung] [Ausarbeitung]
Konzeption und Implementierung eines Quellcode-Navigators,
Lu, Leiqin, DA 2128 (2004)
CR-Klassif. : D.2.2
[Ausarbeitung]
Einbindung einer Skriptsprache für Gravis,
Florian Festi, SA 1879 (2003)
CR-Klassif. : F.3.2; D.2.7
BV-Nummer : 21548
[Ausarbeitung]
Vergleichende Implementierung einer verteilten Anwendung unter Benutzung von CORBA/IIOP, RMI/RPC oder JSP,
Kristian Tandjung, DA 1924 (2001)
Betreuer: Erhard Plödereder
CR-Klassif. : H.4.3; D.2.12
BV-Nummer : 20755
[Aufgabenstellung] [Ausarbeitung]
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 Grafikprogrammiersprache zur Visualisierung musikalischer Werte,
Paul Dehli, DA 1488 (1997)
CR-Klassif. : D.3.4
BV-Nummer : 19049
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
Spezifikation eines Grapheneditors,
Axel Benz, SA 1584 (1996)
CR-Klassif. : D.2.1; E.1
BV-Nummer : 18785
[Ausarbeitung]
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
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

Studien- und Diplomarbeiten in der Abteilung Programmiersprachen