Supervised Bachelor Theses, Master Theses and Diploma Theses
2011
168.
Zgorzelski,
Alexander
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
Dezember 2011
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
Dezember 2011
167.
Knotz,
Dennis
Konzeption und prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
Diplomarbeit
Universität Ulm
November 2011
Konzeption und prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
Diplomarbeit
Universität Ulm
November 2011
166.
Bork,
Bernhard
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
165.
Mewes,
Christoph
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
| Datei: |  https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMewes.pdf |
164.
Rauscher,
Martin
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011
163.
Weck,
Tobias
Restructuring, Extension and Optimization of the Functional Program Transformation System ULTRA
Diplomarbeit
Universität Ulm
Juli 2011
Restructuring, Extension and Optimization of the Functional Program Transformation System ULTRA
Diplomarbeit
Universität Ulm
Juli 2011
162.
Steglich,
Finn
Evaluierung und Anpassung eines Parserframeworks zum partiellen Parsen komplexer Legacy-Sprachen
Diplomarbeit
Universität Ulm
Juni 2011
Evaluierung und Anpassung eines Parserframeworks zum partiellen Parsen komplexer Legacy-Sprachen
Diplomarbeit
Universität Ulm
Juni 2011
161.
Breckel,
Alexander
Error Mining - Statische Analyse von Programmcode durch Vergleich mit umfangreichen Programmdatenbanken
Diplomarbeit
Universität Ulm
Juni 2011
Error Mining - Statische Analyse von Programmcode durch Vergleich mit umfangreichen Programmdatenbanken
Diplomarbeit
Universität Ulm
Juni 2011
160.
Ehrhardt,
Stefan
Requirements Engineering in Context of Agile Development
Diplomarbeit
Universität Ulm
Mai 2011
Requirements Engineering in Context of Agile Development
Diplomarbeit
Universität Ulm
Mai 2011
159.
Nassal,
Alexander
Konzeption und Realisierung von Ansätzen zur Strukturierung und Visualisierung von Code
Diplomarbeit
Universität Ulm
April 2011
Konzeption und Realisierung von Ansätzen zur Strukturierung und Visualisierung von Code
Diplomarbeit
Universität Ulm
April 2011
158.
Wahnschaffe,
Frank
Transformation von Simulink/TargetLink Modellen in symbolisch-mathematische Form
Diplomarbeit
Universität Ulm
April 2011
Transformation von Simulink/TargetLink Modellen in symbolisch-mathematische Form
Diplomarbeit
Universität Ulm
April 2011
157.
Herrera,
Manuel
Konzeptionierung und exemplarische Umsetzung einer Teststrategie mit systematischen GUI- und Remote-Tests für einen unausgereiften Softwareentwicklungsprozess
Diplomarbeit
Universität Ulm
Februar 2011
Konzeptionierung und exemplarische Umsetzung einer Teststrategie mit systematischen GUI- und Remote-Tests für einen unausgereiften Softwareentwicklungsprozess
Diplomarbeit
Universität Ulm
Februar 2011
156.
Adler,
Constanze
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
University of Magdeburg, Germany
Februar 2011
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
University of Magdeburg, Germany
Februar 2011
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisAdler10.pdf |
155.
Holoch,
Wolfgang
Metriken zur Qualitätsmessung von Simulink-Modellen in der modellgetriebenen Softwareentwicklung
Masterarbeit
Universität Ulm
Januar 2011
Metriken zur Qualitätsmessung von Simulink-Modellen in der modellgetriebenen Softwareentwicklung
Masterarbeit
Universität Ulm
Januar 2011
154.
Sulzbacher,
Fabian
Leitfaden zur methodischen Entwicklung einer Softwarearchitektur für Systemfamilien mit UML im Bereich Automotive
Diplomarbeit
Universität Ulm
Januar 2011
Leitfaden zur methodischen Entwicklung einer Softwarearchitektur für Systemfamilien mit UML im Bereich Automotive
Diplomarbeit
Universität Ulm
Januar 2011
2010
153.
Wohlfrom,
Felix
Modellbasiertes Testen am Beispiel des Tests verschiedener Peilgeräte
Bachelorarbeit
Universität Ulm
Dezember 2010
Modellbasiertes Testen am Beispiel des Tests verschiedener Peilgeräte
Bachelorarbeit
Universität Ulm
Dezember 2010
152.
Wengenmayer,
Marco
Entwicklung eines Verfahrens zur systematischen Qualitätssicherung eines Code-Generators
Diplomarbeit
Universität Ulm
Dezember 2010
Entwicklung eines Verfahrens zur systematischen Qualitätssicherung eines Code-Generators
Diplomarbeit
Universität Ulm
Dezember 2010
151.
Gugenheimer,
Jan
Realisierung eines Werkzeugs zur Visualisierung von AUTOSAR-Softwarekomponenten im Fahrzeug
Bachelorarbeit
Universität Ulm
November 2010
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
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
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's Thesis
University of Magdeburg, Germany
Januar 2010
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
University of Magdeburg, Germany
Januar 2010
| Datei: | https://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
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
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
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
Entwicklung eines Interpreters für Zustandsautomaten multimodaler Systeme
Diplomarbeit
Universität Ulm
September 2009