Supervised Bachelor Theses, Master Theses and Diploma Theses

2008

133.
Boegel, Bastian Manuel
Konzeption und prototypische Implementierung einer integrierten Werkzeugkette zur Generierung von Testplänen und der Darstellung von Testergebnissen
Diplomarbeit
Universität Ulm
Juni 2008
132.
Thüm, Thomas
Reasoning About Feature Model Edits
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
Juni 2008
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2008/2008-Bachelor-Thuem.pdf
131.
Schoor, Nora
Untersuchung von Methoden zur Erstellung qualitativ hochwertiger natürlich-sprachlicher Anforderungsdokumente
Diplomarbeit
Universität Ulm
April 2008
130.
Klingsporn, Urs
Verifikation von Zustandsmodellen mit Rhapsody
Bachelorarbeit
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
März 2008
128.
Bulach, Andreas
Untersuchungen zur Laufzeitverbesserung des ActiveCharts-Interpreters
Diplomarbeit
Universität Ulm
Januar 2008

2007

127.
Schall, Christoph
Entwicklung eines Verfahrens zur Wechselwirkungsanalyse zwischen Anforderungen im Kontext des Problem Frames Ansatzes
Diplomarbeit
Universität Ulm
November 2007
126.
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
125.
Tricht, Tobias van
Konzeption und Realisierung eines Persistenz-Frameworks für ActiveCharts
Masterarbeit
Universität Ulm
Oktober 2007
124.
Heinrich, Alexander
Zustandsdarstellung für die Spezifikation der Sprachbedienung im KFZ
Diplomarbeit
Universität Ulm
Oktober 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.
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
Juli 2007
120.
Zhou, Zhixiong
CAPARS - Constraints And Performance Attributed Requirements Specification; Spezifikation von Anforderungen mit Hilfe von Randbedingungs- und Leistungsvektoren
Diplomarbeit
Universität Ulm
Juli 2007
119.
Schwendenmann, Eva
Umfassende Anforderungsdefinition und prototypische Implementierung eines intelligenten Editors für UML2 Aktivitätsdiagramme
Masterarbeit
Universität Ulm
Juni 2007
118.
Tysiak, Johannes
Rechnergestützte Konstruktion einer Änderungshistorie für natürlichsprachige Anforderungsdokumente
Diplomarbeit
Universität Ulm
Juni 2007
117.
Dausend, Marcel
Spezifikation einer Semantik für Zustandsautomaten der Unified Modeling Language 2 mit Abstract State Machines
Diplomarbeit
Universität Ulm
Juni 2007
116.
Schwendemann, Eva
Umfassende Anforderungsdefinition und prototypische Implementierung eines intelligenten Editors für UML2 Aktivitätsdiagramme
Diplomarbeit
Universität Ulm
Juni 2007
115.
Ahmadi, Mohammad Reza
Erweiterte Steuerung des Roboters Kairo II in der Inspektion
Diplomarbeit
Universität Ulm
Juni 2007
114.
Waniek, Christian
Konzepte zur Codeerzeugung aus UML2.0 Klassendiagrammen unter spezieller Berücksichtigung semantischer Aspekte
Diplomarbeit
Universität Ulm
Mai 2007
113.
Vladov, Miroslav
Spezifikation von Sprachdialogen: FLOWCHARTS vs. UML
Diplomarbeit
Universität Ulm
Mai 2007
112.
Sauer, Dietmar
Design and implementation of a state machine framework optimized for telecommunication protocol software applications
Diplomarbeit
Universität Ulm
April 2007
111.
Mayer, Martin
Entwicklung eines Softwarewerkzeugs zur skriptsprachen- und datenbankunabhängigen Formulargenerierung
Diplomarbeit
Universität Ulm
April 2007
110.
Mayer, Stefan
Schnittstellendefinition und Integration eines modularen, graphischen Panel-Editors für Eclipse
Diplomarbeit
Universität Ulm
Februar 2007
109.
Endres, Timo
Development of a performance measurement system for a software error management workflow
Diplomarbeit
Universität Ulm
Februar 2007