PSlogo
homeicon uni sucheicon suche siteicon sitemap kontakticon kontakt
unilogo 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

Abgeschlossene Arbeiten

Arbeiten erfolgten in den folgenden Themenbereichen:

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

     

Valid HTML 4.01!