Supervised Bachelor Theses, Master Theses and Diploma Theses

2008

135.
Koshairy, Eman El
Conception, Development and Implementation of a Framework for the Integration of Co-operating Matlab Simulink Models
Bachelorarbeit
Universität Ulm
September 2008
134.
Nashashbi, Tark
Deriving constraints from the UML2 Superstructure Specification for Checking Consistency between UML2 Diagrams
Diplomarbeit
Universität Ulm
August 2008
133.
Rück, Matthias
Entwicklung eines Modularisierungskonzepts für datenbankorientierte Softwaresysteme anhand einer Fallstudie aus der Praxis
Diplomarbeit
Universität Ulm
June 2008
132.
Boegel, Bastian Manuel
Konzeption und prototypische Implementierung einer integrierten Werkzeugkette zur Generierung von Testplänen und der Darstellung von Testergebnissen
Diplomarbeit
Universität Ulm
June 2008
131.
Klingsporn, Urs
Verifikation von Zustandsmodellen mit Rhapsody
Bachelorarbeit
Universität Ulm
April 2008
130.
Schoor, Nora
Untersuchung von Methoden zur Erstellung qualitativ hochwertiger natürlich-sprachlicher Anforderungsdokumente
Diplomarbeit
Universität Ulm
April 2008
129.
Fürst, Joachim
Entwicklung einer ASM-Spezifikation für die Semantik von UML2 Sequenzdiagrammen als Grundlage zur Anbindung an ActiveCharts
Diplomarbeit
Universität Ulm
March 2008
128.
Bulach, Andreas
Untersuchungen zur Laufzeitverbesserung des ActiveCharts-Interpreters
Diplomarbeit
Universität Ulm
January 2008

2007

127.
Radomyselski, Anatolij
Modellierung, Analyse und Design mit SysML/SYSMOD am Beispiel eines Connector-Frameworks für das proveo RTS
Masterarbeit
Universität Ulm
November 2007
126.
Schall, Christoph
Entwicklung eines Verfahrens zur Wechselwirkungsanalyse zwischen Anforderungen im Kontext des Problem Frames Ansatzes
Diplomarbeit
Universität Ulm
November 2007
125.
Heinrich, Alexander
Zustandsdarstellung für die Spezifikation der Sprachbedienung im KFZ
Diplomarbeit
Universität Ulm
October 2007
124.
Tricht, Tobias van
Konzeption und Realisierung eines Persistenz-Frameworks für ActiveCharts
Masterarbeit
Universität Ulm
October 2007
123.
Maarouf, Karim
Design of a software development process for the MDA approach ActiveCharts based on a comprehensive analysis of existing processes
Masterarbeit
Universität Ulm
September 2007
122.
Zink, Jochen
Transformation von UML-2 Zustandsdiagrammen in eine für Analysezwecke optimierte Darstellung
Masterarbeit
Universität Ulm
August 2007
121.
Zhou, Zhixiong
CAPARS - Constraints And Performance Attributed Requirements Specification; Spezifikation von Anforderungen mit Hilfe von Randbedingungs- und Leistungsvektoren
Diplomarbeit
Universität Ulm
July 2007
120.
Scheible, Jan
Verfolgbarkeit von Anforderungen zwischen Anforderungsdokument und Modellierung bei einer Model Driven Architecture (ActiveCharts IDE) unter Verwendung von Klassen- und Aktivitätsdiagrammen
Diplomarbeit
Universität Ulm
July 2007
119.
Schwendemann, Eva
Umfassende Anforderungsdefinition und prototypische Implementierung eines intelligenten Editors für UML2 Aktivitätsdiagramme
Diplomarbeit
Universität Ulm
June 2007
118.
Schwendenmann, Eva
Umfassende Anforderungsdefinition und prototypische Implementierung eines intelligenten Editors für UML2 Aktivitätsdiagramme
Masterarbeit
Universität Ulm
June 2007
117.
Dausend, Marcel
Spezifikation einer Semantik für Zustandsautomaten der Unified Modeling Language 2 mit Abstract State Machines
Diplomarbeit
Universität Ulm
June 2007
116.
Tysiak, Johannes
Rechnergestützte Konstruktion einer Änderungshistorie für natürlichsprachige Anforderungsdokumente
Diplomarbeit
Universität Ulm
June 2007
115.
Ahmadi, Mohammad Reza
Erweiterte Steuerung des Roboters Kairo II in der Inspektion
Diplomarbeit
Universität Ulm
June 2007
114.
Waniek, Christian
Konzepte zur Codeerzeugung aus UML2.0 Klassendiagrammen unter spezieller Berücksichtigung semantischer Aspekte
Diplomarbeit
Universität Ulm
May 2007
113.
Vladov, Miroslav
Spezifikation von Sprachdialogen: FLOWCHARTS vs. UML
Diplomarbeit
Universität Ulm
May 2007
112.
Mayer, Martin
Entwicklung eines Softwarewerkzeugs zur skriptsprachen- und datenbankunabhängigen Formulargenerierung
Diplomarbeit
Universität Ulm
April 2007
111.
Sauer, Dietmar
Design and implementation of a state machine framework optimized for telecommunication protocol software applications
Diplomarbeit
Universität Ulm
April 2007