Supervised Bachelor Theses, Master Theses and Diploma Theses
2002
42.
Schubert,
Peter
Visualisierung von Techniken bei der Übersetzung ausgewählter OO-Konzepte
Diplomarbeit
Universität Ulm
April 2002
Visualisierung von Techniken bei der Übersetzung ausgewählter OO-Konzepte
Diplomarbeit
Universität Ulm
April 2002
41.
Schonger,
Stefan
Aspect and Component Composition using XML Representations of Abstract Syntax Trees
Diplomarbeit
Universität Ulm
Februar 2002
Aspect and Component Composition using XML Representations of Abstract Syntax Trees
Diplomarbeit
Universität Ulm
Februar 2002
2001
40.
Guttmann,
Walter
Transformationelle Entwicklung des Kerns eines Übersetzers für eine logische Programmiersprache
Diplomarbeit
Universität Ulm
Oktober 2001
Transformationelle Entwicklung des Kerns eines Übersetzers für eine logische Programmiersprache
Diplomarbeit
Universität Ulm
Oktober 2001
39.
Ziegler,
Johannes
Ein verifiziertes Sicherheitsmodell für multiapplikative Smartcards
Diplomarbeit
Universität Ulm
Januar 2001
Ein verifiziertes Sicherheitsmodell für multiapplikative Smartcards
Diplomarbeit
Universität Ulm
Januar 2001
2000
38.
Beth,
Markus
Animierte Visualisierung von Analysemodellen am Beispiel von Rhapsody
Diplomarbeit
Universität Ulm
Oktober 2000
Animierte Visualisierung von Analysemodellen am Beispiel von Rhapsody
Diplomarbeit
Universität Ulm
Oktober 2000
37.
Haneberg,
Dominik
Entwurf innovativer Chipkartenanwendungen
Diplomarbeit
Universität Ulm
August 2000
Entwurf innovativer Chipkartenanwendungen
Diplomarbeit
Universität Ulm
August 2000
36.
Seibold,
Sven
Integration of the V-Modell 97 with object-oriented development processes: a case study
Diplomarbeit
Universität Ulm
Mai 2000
Integration of the V-Modell 97 with object-oriented development processes: a case study
Diplomarbeit
Universität Ulm
Mai 2000
35.
Duelli,
Christoph
Verifikation rückläufiger Systeme: Werkzeugunterstützung und praktische Erfahrung
Diplomarbeit
Universität Ulm
April 2000
Verifikation rückläufiger Systeme: Werkzeugunterstützung und praktische Erfahrung
Diplomarbeit
Universität Ulm
April 2000
34.
Vollmer,
Tobias
Korrekte Modellprüfung von Realzeit Systemen
Diplomarbeit
Universität Ulm
März 2000
Korrekte Modellprüfung von Realzeit Systemen
Diplomarbeit
Universität Ulm
März 2000
1999
33.
Biechele,
Bernd
Erfahrung bei der objektorientierten Modellierung mit UML am Beispiel der digitalen Signatur
Diplomarbeit
Universität Ulm
August 1999
Erfahrung bei der objektorientierten Modellierung mit UML am Beispiel der digitalen Signatur
Diplomarbeit
Universität Ulm
August 1999
32.
Sorg,
Thomas
Verifikation nebenläufiger Systeme
Diplomarbeit
Universität Ulm
Juli 1999
Verifikation nebenläufiger Systeme
Diplomarbeit
Universität Ulm
Juli 1999
31.
Kleiner,
Nikolaus
Formale Überlegungen zu pragmatischen Methoden des Requiremets Engineering
Diplomarbeit
Universität Ulm
Juni 1999
Formale Überlegungen zu pragmatischen Methoden des Requiremets Engineering
Diplomarbeit
Universität Ulm
Juni 1999
30.
Does,
Niels
Implementierungsaspekte zur Entwicklung einer betriebssystem- und rechnerarchitekturunabhängigen Fernverwaltung
Diplomarbeit
Universität Ulm
Juni 1999
Implementierungsaspekte zur Entwicklung einer betriebssystem- und rechnerarchitekturunabhängigen Fernverwaltung
Diplomarbeit
Universität Ulm
Juni 1999
29.
Hunnius,
Jan-Peter von
Objektorientierte Entwicklung kontinuierlicher Systeme: Anwendung und Bewertung der Octopus Methode
Diplomarbeit
Universität Ulm
Juni 1999
Objektorientierte Entwicklung kontinuierlicher Systeme: Anwendung und Bewertung der Octopus Methode
Diplomarbeit
Universität Ulm
Juni 1999
28.
Kiedaisch,
Friedemann
Firmenspezifisches Tailoring des V-Modells
Diplomarbeit
Universität Ulm
Mai 1999
Firmenspezifisches Tailoring des V-Modells
Diplomarbeit
Universität Ulm
Mai 1999
27.
Pfeiffer,
Christian
Modellierung auf der Basis von UML am Beispiel einer Universitätsabteilung
Diplomarbeit
Universität Ulm
März 1999
Modellierung auf der Basis von UML am Beispiel einer Universitätsabteilung
Diplomarbeit
Universität Ulm
März 1999
26.
Hiller,
Martin
Objektorientierte Systemanalyse mit Rhapsody
Diplomarbeit
Universität Ulm
März 1999
Objektorientierte Systemanalyse mit Rhapsody
Diplomarbeit
Universität Ulm
März 1999
1998
25.
Gösele,
Michael
Interaktive Konstruktion von dreidimensionalen Szenen
Diplomarbeit
Universität Ulm
Dezember 1998
Interaktive Konstruktion von dreidimensionalen Szenen
Diplomarbeit
Universität Ulm
Dezember 1998
24.
Häberlein,
Tobias
Systemunterstützung für die transformationelle Entwicklung von Hardwarebausteinen
Diplomarbeit
Universität Ulm
Dezember 1998
Systemunterstützung für die transformationelle Entwicklung von Hardwarebausteinen
Diplomarbeit
Universität Ulm
Dezember 1998
23.
Metzger,
Markus
Zielsprachenoptimierung für die M 6812 Prozessorfamilie als Postprozessor für einen bestehenden Compiler
Diplomarbeit
Universität Ulm
Dezember 1998
Zielsprachenoptimierung für die M 6812 Prozessorfamilie als Postprozessor für einen bestehenden Compiler
Diplomarbeit
Universität Ulm
Dezember 1998
22.
Quell,
Thorsten
Typisierung und Programmtransformation
Diplomarbeit
Universität Ulm
Juli 1998
Typisierung und Programmtransformation
Diplomarbeit
Universität Ulm
Juli 1998
21.
Thums,
Andreas
Fehlersuche in formalen Spezifikationen
Diplomarbeit
Universität Ulm
Juni 1998
Fehlersuche in formalen Spezifikationen
Diplomarbeit
Universität Ulm
Juni 1998
20.
Schmid,
Joachim
Nichtdeterminismus und Programmtransformation
Diplomarbeit
Universität Ulm
Juni 1998
Nichtdeterminismus und Programmtransformation
Diplomarbeit
Universität Ulm
Juni 1998
19.
Schirmer,
Gabriele
Objektorientierte Entwicklung eines generischen Grapheditors
Diplomarbeit
Universität Ulm
April 1998
Objektorientierte Entwicklung eines generischen Grapheditors
Diplomarbeit
Universität Ulm
April 1998
18.
Ehm,
Thorsten
Interaktive Spezifikation und Konstruktion graphischer Schnittstellen
Diplomarbeit
Universität Ulm
Januar 1998
Interaktive Spezifikation und Konstruktion graphischer Schnittstellen
Diplomarbeit
Universität Ulm
Januar 1998