Supervised Bachelor Theses, Master Theses and Diploma Theses

2010

152.
Wohlfrom, Felix
Modellbasiertes Testen am Beispiel des Tests verschiedener Peilgeräte
Bachelorarbeit
Universität Ulm
Dezember 2010
151.
Gugenheimer, Jan
Realisierung eines Werkzeugs zur Visualisierung von AUTOSAR-Softwarekomponenten im Fahrzeug
Bachelorarbeit
Universität Ulm
November 2010
150.
Rödl, Marina
Entwicklung eines Konzepts zur automatisierten Erstellung des mechatronischen Modells für die Hardware-in-the-loop-simulation
Diplomarbeit
Universität Ulm
Mai 2010
149.
Ott, Daniel
Optimierte Traceability-Erkennung durch domänenspezifische Thesauri in natürlichsprachigen Dokumenten
Diplomarbeit
Universität Ulm
Februar 2010
148.
Thüm, Thomas
A Machine-Checked Proof for a Product-Line-Aware Type System
Master
University of Magdeburg, Germany
Januar 2010
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2010/2010-Master-Thuem.pdf

2009

147.
Rink, Matthias
Konzeption und prototypische Werkzeugunterstützung eines Vorgehensmodells zur Erstellung eines komponentenorientierten Architekturmodells
Masterarbeit
Universität Ulm
Dezember 2009
146.
Chasan, Ridvan
UML-Modellanalyse und Richtlinienüberprüfung
Diplomarbeit
Universität Ulm
Dezember 2009
145.
Lott, Frederic
Automatisierung funktionaler Tests von Rundfunkempfängern im Automobil
Diplomarbeit
Universität Ulm
November 2009
144.
Zilles, Jonas
Entwicklung eines Interpreters für Zustandsautomaten multimodaler Systeme
Diplomarbeit
Universität Ulm
September 2009
143.
Schwarz, Florian
Konzeption und Implementierung eines Frameworks zur Verifikation von UML-Richtlinien in der Radarsignalprozessorenentwicklung
Diplomarbeit
Universität Ulm
Juni 2009
142.
Fuchs, Eric
Prozessanalyse, -anpassung und -umsetzung: Betrachtung der Microsoft Dynamics Sure Step Methodology und geeigneter Unterstützungswerkzeuge
Diplomarbeit
Universität Ulm
April 2009
141.
Langbein, Johannes
Konzeption und Implementierung eines Klassendiagrammeditors in Eclipse
Bachelorarbeit
Universität Ulm
März 2009
140.
Weimer, Evgenij
Erarbeitung eines Konzeptes zur Verbesserung der entwicklungsbegleitenden Qualitätssicherung in der Softwareentwicklung des Projekts EUA
Diplomarbeit
Universität Ulm
Januar 2009

2008

139.
Rischard, Stefan
Konzeption und prototypische Realisierung eines Dashboards für große Spezifikationslandschaften
Diplomarbeit
Universität Ulm
Dezember 2008
138.
Goldschmidt, Linda
Konzeption und prototypische Umsetzung eines Softwaresystems zur Randomisierung in klinischen Studien
Diplomarbeit
Universität Ulm
Dezember 2008
137.
Colak, Ayse
Konzeption und prototypische Realisierung einer systematischen quantitativen Qualitätsprüfung von graphisch notierten Anforderungen
Diplomarbeit
Universität Ulm
Oktober 2008
136.
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
135.
Nashashbi, Tark
Deriving constraints from the UML2 Superstructure Specification for Checking Consistency between UML2 Diagrams
Diplomarbeit
Universität Ulm
August 2008
134.
Thüm, Thomas
Reasoning About Feature Model Edits
Bachelor
University of Magdeburg, Germany
Juni 2008
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2008/2008-Bachelor-Thuem.pdf
133.
Rück, Matthias
Entwicklung eines Modularisierungskonzepts für datenbankorientierte Softwaresysteme anhand einer Fallstudie aus der Praxis
Diplomarbeit
Universität Ulm
Juni 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
Juni 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
März 2008
128.
Bulach, Andreas
Untersuchungen zur Laufzeitverbesserung des ActiveCharts-Interpreters
Diplomarbeit
Universität Ulm
Januar 2008