| 2011 |
|
[162]
|
Zgorzelski, Alexander: Automatisiertes modellbasiertes Testen der
statischen Texte einer graphischen Benutzerschnittstelle.
Diplomarbeit, Universität Ulm, Dezember 2011.
|
|
[161]
|
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.
|
|
[160]
|
Bork, Bernhard: Vergleich verschiedener Priorisierungsverfahren an
Hand eines realen Softwareprojekts.
Diplomarbeit, Universität Ulm, September 2011.
|
|
[159]
|
Rauscher, Martin: Code Generation for distributed UML Activities.
Diplomarbeit, Universität Ulm, August 2011.
|
|
[158]
|
Weck, Tobias: Restructuring, Extension and Optimization of the
Functional Program Transformation System ULTRA.
Diplomarbeit, Universität Ulm, Juli 2011.
|
|
[157]
|
Breckel, Alexander: Error Mining - statistische Analyse von
Programmcode durch Vergleich mit umfangreichen Programmdatenbanken.
Diplomarbeit, Universität Ulm, Juni 2011.
|
|
[156]
|
Steglich, Finn: Evaluierung und Anpassung eines Parserframeworks zum
partiellen Parsen komplexer Legacy-Sprachen.
Diplomarbeit, Universität Ulm, Juni 2011.
|
|
[155]
|
Ehrhardt, Stefan: Requirements Engineering in Context of Agile
Development.
Diplomarbeit, Universität Ulm, Mai 2011.
|
|
[154]
|
Nassal, Alexander: Konzeption und Realisierung von Ansätzen zur
Strukturierung und Visualisierung von Code.
Diplomarbeit, Universität Ulm, April 2011.
|
|
[153]
|
Wahnschaffe, Frank: Transformation von Simulink/TargetLink Modellen
in symbolisch-mathematische Form.
Diplomarbeit, Universität Ulm, April 2011.
|
|
[152]
|
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.
|
|
[151]
|
Holoch, Wolfgang: Metriken zur Qualitätsmessung von
Simulink-Modellen in der modellgetriebenen Softwareentwicklung.
Masterarbeit, Universität Ulm, Januar 2011.
|
|
[150]
|
Sulzbacher, Fabian: Leitfaden zur methodischen Entwicklung einer
Softwarearchitektur für Systemfamilien mit UML im Bereich Automotive.
Diplomarbeit, Universität Ulm, Januar 2011.
|
| |
| 2010 |
|
[149]
|
Wohlfrom, Felix: Modellbasiertes Testen am Beispiel des Tests
verschiedener Peilgeräte.
Bachelorarbeit, Universität Ulm, Dezember 2010.
|
|
[148]
|
Wengenmayer, Marco: Entwicklung eines Verfahrens zur systematischen
Qualitätssicherung eines Code-Generators.
Diplomarbeit, Universität Ulm, Dezember 2010.
|
|
[147]
|
Gugenheimer, Jan: Realisierung eines Werkzeugs zur Visualisierung
von AUTOSAR-Softwarekomponenten im Fahrzeug.
Bachelorarbeit, Universität Ulm, November 2010.
|
|
[146]
|
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.
|
|
[145]
|
Ott, Daniel: Optimierte Traceability-Erkennung durch
domänenspezifische Thesauri in natürlichsprachigen Dokumenten.
Diplomarbeit, Universität Ulm, Februar 2010.
|
| |
| 2009 |
|
[144]
|
Rink, Matthias: Konzeption und prototypische Werkzeugunterstützung
eines Vorgehensmodells zur Erstellung eines komponentenorientierten
Architekturmodells.
Masterarbeit, Universität Ulm, Dezember 2009.
|
|
[143]
|
Chasan, Ridvan: UML-Modellanalyse und Richtlinienüberprüfung.
Diplomarbeit, Universität Ulm, Dezember 2009.
|
|
[142]
|
Lott, Frederic: Automatisierung funktionaler Tests von
Rundfunkempfängern im Automobil.
Diplomarbeit, Universität Ulm, November 2009.
|
|
[141]
|
Zilles, Jonas: Entwicklung eines Interpreters für Zustandsautomaten
multimodaler Systeme.
Diplomarbeit, Universität Ulm, September 2009.
|
|
[140]
|
Schwarz, Florian: Konzeption und Implementierung eines Frameworks
zur Verifikation von UML-Richtlinien in der
Radarsignalprozessorenentwicklung.
Diplomarbeit, Universität Ulm, Juni 2009.
|
|
[139]
|
Fuchs, Eric: Prozessanalyse, -anpassung und -umsetzung: Betrachtung
der Microsoft Dynamics Sure Step Methodology und geeigneter
Unterstützungswerkzeuge.
Diplomarbeit, Universität Ulm, April 2009.
|
|
[138]
|
Langbein, Johannes: Konzeption und Implementierung eines
Klassendiagrammeditors in Eclipse.
Bachelorarbeit, Universität Ulm, März 2009.
|
|
[137]
|
Weimer, Evgenij: Erarbeitung eines Konzeptes zur Verbesserung der
entwicklungsbegleitenden Qualitätssicherung in der Softwareentwicklung des
Projekts EUA.
Diplomarbeit, Universität Ulm, Januar 2009.
|
| |
| 2008 |
|
[136]
|
Rischard, Stefan: Konzeption und prototypische Realisierung eines
Dashboards für große Spezifikationslandschaften.
Diplomarbeit, Universität Ulm, Dezember 2008.
|
|
[135]
|
Colak, Ayse: Konzeption und prototypische Realisierung einer
systematischen quantitativen Qualitätsprüfung von graphisch notierten
Anforderungen.
Diplomarbeit, Universität Ulm, Oktober 2008.
|
|
[134]
|
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.
|
|
[133]
|
Nashashbi, Tark: Deriving constraints from the UML2 Superstructure
Specification for Checking Consistency between UML2 Diagrams.
Diplomarbeit, Universität Ulm, August 2008.
|
|
[132]
|
Rück, Matthias: Entwicklung eines Modularisierungskonzepts für
datenbankorientierte Softwaresysteme anhand einer Fallstudie aus der Praxis.
Diplomarbeit, Universität Ulm, Juni 2008.
|
|
[131]
|
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.
|
|
[130]
|
Schoor, Nora: Untersuchung von Methoden zur Erstellung qualitativ
hochwertiger natürlich-sprachlicher Anforderungsdokumente.
Diplomarbeit, Universität Ulm, April 2008.
|
|
[129]
|
Klingsporn, Urs: Verifikation von Zustandsmodellen mit Rhapsody.
Bachelorarbeit, Universität Ulm, April 2008.
|
|
[128]
|
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.
|
|
[127]
|
Bulach, Andreas: Untersuchungen zur Laufzeitverbesserung des
ActiveCharts-Interpreters.
Diplomarbeit, Universität Ulm, Januar 2008.
|
| |
| 2007 |
|
[126]
|
Schall, Christoph: Entwicklung eines Verfahrens zur
Wechselwirkungsanalyse zwischen Anforderungen im Kontext des Problem Frames
Ansatzes.
Diplomarbeit, Universität Ulm, November 2007.
|
|
[125]
|
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.
|
|
[124]
|
Heinrich, Alexander: Zustandsdarstellung für die Spezifikation der
Sprachbedienung im KFZ.
Diplomarbeit, Universität Ulm, Oktober 2007.
|
|
[123]
|
Tricht, Tobias van: Konzeption und Realisierung eines
Persistenz-Frameworks für ActiveCharts.
Masterarbeit, Universität Ulm, Oktober 2007.
|
|
[122]
|
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.
|
|
[121]
|
Zink, Jochen: Transformation von UML-2 Zustandsdiagrammen in eine
für Analysezwecke optimierte Darstellung.
Masterarbeit, Universität Ulm, August 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]
|
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.
|
|
[118]
|
Dausend, Marcel: Spezifikation einer Semantik für Zustandsautomaten
der Unified Modeling Language 2 mit Abstract State Machines.
Diplomarbeit, Universität Ulm, Juni 2007.
|
|
[117]
|
Tysiak, Johannes: Rechnergestützte Konstruktion einer
Änderungshistorie für natürlichsprachige Anforderungsdokumente.
Diplomarbeit, Universität Ulm, Juni 2007.
|
|
[116]
|
Ahmadi, Mohammad Reza: Erweiterte Steuerung des Roboters Kairo II in
der Inspektion.
Diplomarbeit, Universität Ulm, Juni 2007.
|
|
[115]
|
Schwendenmann, Eva: Umfassende Anforderungsdefinition und
prototypische Implementierung eines intelligenten Editors für UML2
Aktivitätsdiagramme.
Masterarbeit, 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]
|
Endres, Timo: Development of a performance measurement system for a
software error management workflow.
Diplomarbeit, Universität Ulm, Februar 2007.
|
|
[109]
|
Mayer, Stefan: Schnittstellendefinition und Integration eines
modularen, graphischen Panel-Editors für Eclipse.
Diplomarbeit, Universität Ulm, Februar 2007.
|
|
[108]
|
Wüchner, Charlotte: Konzeption einer Wiederverwendungsstrategie für
textuelle Anforderungen im Automobilbereich und beispielhafte Umsetzung im
Anforderungsmanagement Tool Doors.
Diplomarbeit, Universität Ulm, Januar 2007.
|
|
[107]
|
Grimm, René: Redesign unter besonderer Berücksichtigung von
Refactoringmethoden und Qualitätsaspekten am Beispiel der Media Toolbox.
Diplomarbeit, Universität Ulm, Januar 2007.
|
| |
| 2006 |
|
[106]
|
Li, Mingli: Evolutionäre Entwicklung und Implementierung eines
Produktionsplanungssystems im Automobilsektor.
Diplomarbeit, Universität Ulm, Dezember 2006.
|
|
[105]
|
Tetour, Yvonne: Entwicklung eines interaktiven Planspiels zur
Vermittlung der Grundlagen der Softwaretechnik.
Diplomarbeit, Universität Ulm, Dezember 2006.
|
|
[104]
|
Danks, Florian: Conflict management in Requirements Engineering
using RM-ODD enterprise Viewpoint.
Diplomarbeit, Universität Ulm, Dezember 2006.
|
|
[103]
|
Kain, Michael: Automatisiertes, funktionales Testen mit
semi-automatischer Testskriptgenerierung für J2EE Webanwendungen.
Diplomarbeit, Universität Ulm, September 2006.
|
|
[102]
|
Weitmann, Thomas: Kontinuierliche Produktverbesserung von Software
durch die Erfassung und Auswertung von objektorientierten Software-Metriken.
Diplomarbeit, Universität Ulm, September 2006.
|
|
[101]
|
Stahl, Michael: Porting the Ultra program transformation system from
Gofer to Haskell.
Diplomarbeit, Universität Ulm, September 2006.
|
|
[100]
|
Zähringer, Christine: Vergleich der Unterstützung von
Aktivitätsdiagrammen verschiedener UML2 Werkzeuge anhand verschiedener
Fallstudien.
Diplomarbeit, Universität Ulm, August 2006.
|
|
[99]
|
Raiser, Frank: SrcML: A language-neutral source code representation
as a basis for extending languages in Intentional Programming.
Diplomarbeit, Universität Ulm, Juli 2006.
|
|
[98]
|
Herter, Mark: Requirements Engineering for a State Machine Framework
optimised for Telecommunication Protocol Software Applocations.
Diplomarbeit, Universität Ulm, Juli 2006.
|
|
[97]
|
Frey, Patrick: Development and validation of an executable ASM
specification of UML 2.0 Activity Diagrams.
Diplomarbeit, Universität Ulm, Juli 2006.
|
|
[96]
|
Hupka, Constantin: Requirements-Engineering und -Management am
Beispiel der Einführung einer Portfolio- und Projektmanagementsoftware.
Diplomarbeit, Universität Ulm, Juni 2006.
|
|
[95]
|
Bielesch, Alexander: Automatisierte Codegenerierung für die
Verteilung von Softwarekomponenten unter Verwendung von UML2
Verteilungsdiagrammen.
Diplomarbeit, Universität Ulm, Juni 2006.
|
|
[94]
|
Horn, Heike: Anforderungsanalyse und Entwurf eines
Informationssystems für die industrielle Anwendung unter besonderer
Berücksichtigung von Usability Aspekten.
Diplomarbeit, Universität Ulm, Mai 2006.
|
|
[93]
|
Diesterheft, Markus: Modellierung und heuristische Verfahren zur
optimierten Kommissionierung.
Diplomarbeit, Universität Ulm, Mai 2006.
|
|
[92]
|
Schweidler, Florian: Schnittstellenmodellierung in UML mit
automatischer Codegenerierung in Java und C++.
Diplomarbeit, Universität Ulm, Mai 2006.
|
|
[91]
|
Knee, Cornelia: Zielorientierte Überprüfung von natürlichsprachigen
Anforderungsdokumenten.
Diplomarbeit, Universität Ulm, April 2006.
|
|
[90]
|
Thiel, Barbara: Methodische Integration von Usability in Software
Engineering.
Diplomarbeit, Universität Ulm, März 2006.
|
|
[89]
|
Sepp, Michael: Testfälle zur Sprachkonformität von UML 2
Zustandsdiagrammen und ein Werkzeug zur Unterstützung der Ausführung und
Auswertung dieser Testfälle auf kommerziellen UML 2 Werkzeugen.
Diplomarbeit, Universität Ulm, März 2006.
|
|
[88]
|
Chen, Xumin: Garbage Collection in C++.
Masterarbeit, Universität Ulm, Februar 2006.
|
|
[87]
|
Büttler, Alena Janice: Visualisierung und Modellierung komplexer
Produktentwicklungsprozesse in der Automobilindustrie unter dem Aspekt der
Modularisierung.
Diplomarbeit, Universität Ulm, Februar 2006.
|
| |
| 2005 |
|
[86]
|
Togan, Aysel: Vergleich der Semantik von Zustandsmaschinen in
Statemate und UML 2.
Diplomarbeit, Universität Ulm, Dezember 2005.
|
|
[85]
|
Busch, Alexander: Vergleich von Einsatzgebieten und
Anwendungsmöglichkeiten von UML2 Zustands- und Aktivitätsdiagrammen.
Diplomarbeit, Universität Ulm, Dezember 2005.
|
|
[84]
|
Heß, Sven: Erweitertes Variationspunkte-Abhängigkeiten-Modell für
den Erstellungs- und Wiederverwendungsprozess von Spezifikationen mit hoher
Restvariabilität.
Diplomarbeit, Universität Ulm, Dezember 2005.
|
|
[83]
|
Göckelmann, Klaus: Entwurf und Entwicklung eines Compilers für die
Testing and Test Control Notation Version 3.
Diplomarbeit, Universität Ulm, November 2005.
|
|
[82]
|
Langwald, Carola: Beschreibung der Semantik von Aktivitätsdiagrammen
der UML Version 2.0 durch Petri-Netze.
Diplomarbeit, Universität Ulm, Oktober 2005.
|
|
[81]
|
Köpf, Sandra: Geschäftsprozess-fokussiertes Usability Engineering -
Einführung eines problemzentrierten Softwareentwicklungsprozesses.
Diplomarbeit, Universität Ulm, September 2005.
|
|
[80]
|
Bernauer, Daniel: Testfälle für Klassen- und Aktivitätsdiagramme der
UML2 zur Überprüfung der Sprachkonformität und -vollständigkeit von UML2
Werkzeugen.
Masterarbeit, Universität Ulm, September 2005.
|
|
[79]
|
Gessenharter, Dominik: Visualisierung der Simulation von graphischen
Prototypen als Möglichkeit des interaktiven Debuggings von UML 2.0
Aktivitätsdiagrammen.
Diplomarbeit, Universität Ulm, September 2005.
|
|
[78]
|
Werner, Benjamin: Konzept und prototypische Spezialisierung eines
Frameworks zur Generierung datenbezogener Oberflächen-Module.
Diplomarbeit, Universität Ulm, August 2005.
|
|
[77]
|
Gerlich, Ralf: Size-Optimising Automatic Random Testcase Set
Generation for Verification and Validation.
Diplomarbeit, Universität Ulm, Juli 2005.
|
|
[76]
|
Milanovic, Miroslav: Konzeption und Entwicklung eines Generators für
HTML-Demonstratoren.
Diplomarbeit, Universität Ulm, Juni 2005.
|
|
[75]
|
Fischer, Florian: Werkzeugunterstützung für musterbasierte
Transformationen.
Diplomarbeit, Universität Ulm, Juni 2005.
|
|
[74]
|
Demmler, Andrea: Erstellen eines erweiterten Compilers für
ausgewählte Elemente der UML.
Diplomarbeit, Universität Ulm, Juni 2005.
|
|
[73]
|
Bock, Hanna: Definition of metrics for hardware testing process
based on case study of a mobile phonemanufacture.
Diplomarbeit, Universität Ulm, Mai 2005.
|
|
[72]
|
Buchwald, Jan-Paul: Modelltransformationen auf der Basis von
Mustern.
Diplomarbeit, Universität Ulm, April 2005.
|
|
[71]
|
Kast, Martin: Einsatz agiler Methoden bei der Konzeptionierung und
Implementierung einer Seriennummerverwaltung.
Diplomarbeit, Universität Ulm, April 2005.
|
|
[70]
|
Predeschly, Michael: Nutzeradäquate Prozessbeschreibungen.
Diplomarbeit, Universität Ulm, März 2005.
|
|
[69]
|
Gromer, Stefanie: Agiles Requirements Engineering.
Diplomarbeit, Universität Ulm, März 2005.
|
|
[68]
|
Przewoznik, Sebastian: Flexibilität bei Definition und Anwendung
verschiedener Prozessmodelle.
Diplomarbeit, Universität Ulm, Januar 2005.
|
| |
| 2004 |
|
[67]
|
Werner, Jürgen: Relational calculi for the semantics of programming
languages and program development.
Diplomarbeit, Universität Ulm, November 2004.
|
|
[66]
|
Betz, Hariolf: A Linear Logic Declarative Semantics for Constraint
Handling Rules.
Diplomarbeit, Universität Ulm, November 2004.
|
|
[65]
|
Seitz, Markus: Erstellung eines ausführbaren Anforderungsmodells zur
Simulation der Ressourcenverwaltung in einem UMTS-Netzwerkelement.
Diplomarbeit, Universität Ulm, Oktober 2004.
|
|
[64]
|
Schmid, Michael: Modellierung eines mechanischen Sinnesorgans mit
Werkzeugen der Informatik.
Diplomarbeit, Universität Ulm, September 2004.
|
|
[63]
|
Maier, Alexander: Visualisierung dynamischer, komplexer Projektpläne
in der Produktentwicklung.
Diplomarbeit, Universität Ulm, Juli 2004.
|
|
[62]
|
Kasper, Thorsten: Identifikation von Änderungsmustern und
Klassifikation von Änderungswünschen im Spezifikationsprozess.
Diplomarbeit, Universität Ulm, Juli 2004.
|
|
[61]
|
Özcan, Feriha: Entwurf und Entwicklung eines Konfigurationsservers
zur Konfiguration der verschiedenen Parameter eines Leitstellenssystems am
Beispiel einer @CORE-Leitstelle.
Diplomarbeit, Universität Ulm, Juni 2004.
|
|
[60]
|
Mauz, Jörg: Konzeption und Implementierung einer internetbasierten
Auftragserfassung für das ERP-System ABS.
Masterarbeit, Universität Ulm, Juni 2004.
|
|
[59]
|
Mayer, Jürgen: Formalisierung von Entwurfsmustern.
Masterarbeit, Universität Ulm, Juni 2004.
|
|
[58]
|
Keis, Andreas: Modellgetriebene Software-Entwicklung mit der Model
Driven Architecture.
Masterarbeit, Universität Ulm, Juni 2004.
|
|
[57]
|
Schreinert, Stefan: Einsatz von Model Driven Architecture bei der
Entwicklung von Product Lifecycle Management Services.
Masterarbeit, Universität Ulm, April 2004.
|
|
[56]
|
Stricker, Michael: Domänenübergreifendes Konfigurationsmanagement im
Automotive Bereich.
Diplomarbeit, Universität Ulm, März 2004.
|
|
[55]
|
Wüchner, Florian: Analysis and Optimization of Requirements
Engineering in Time-to-Market Software Projects Based on an Industry Case
Study.
Diplomarbeit, Universität Ulm, März 2004.
|
|
[54]
|
Kotucz, Agnes: Konsistenzen in UML Diagrammen.
Masterarbeit, Universität Ulm, Januar 2004.
|
| |
| 2003 |
|
[53]
|
Karadas, Ersin: Projektmanagementunterstützung auf Basis von
Anforderungsinformationen.
Diplomarbeit, Universität Ulm, Dezember 2003.
|
|
[52]
|
Schneiderhan, Matthias: Ein webbasiertes Multiuser-System zur
Erstellung konsistenter XML-Dokumente.
Diplomarbeit, Universität Ulm, Dezember 2003.
|
|
[51]
|
Hammori, Markus Rajai: Interactive Workflow Mining.
Diplomarbeit, Universität Ulm, Dezember 2003.
|
|
[50]
|
Raschke, Alexander: Einsatz von Werkzeugen der Informatik zur
Modellierung und Simulation von Bewegungssteuerung und Katalepsie im
Insektenbein.
Diplomarbeit, Universität Ulm, April 2003.
|
|
[49]
|
Smirnov, Mikhail: Konzeption und prototypische Umsetzung eines
Entwicklungsprozesses für die Softwarewiederverwendung.
Diplomarbeit, Universität Ulm, April 2003.
|
|
[48]
|
Kohlmeyer, Jens: Modellierung und Simulation eines biologischen
Prozesses (neuronales Aktionspotential) mit hybriden Beschreibungswerkzeugen
aus der Informatik.
Diplomarbeit, Universität Ulm, März 2003.
|
|
[47]
|
Bolz, Armin: Systematische Entwicklung flexibel anpassbarer,
netzbasierter Systeme für Verwaltungs- und Entscheidungsfindungsaufgaben am
Beispiel der Systemunterstützung für Auswahlverfahren.
Diplomarbeit, Universität Ulm, Februar 2003.
|
| |
| 2002 |
|
[46]
|
Maschmeyer, Niels-Holger: Verbindung natürlichsprachiger
Anforderungen mit ausführbaren Modellen.
Diplomarbeit, Universität Ulm, Oktober 2002.
|
|
[45]
|
Puschnig, Alexander: Systematische Qualitätsanalyse
natürlich-sprachiger Anforderungsdokumente.
Diplomarbeit, Universität Ulm, Oktober 2002.
|
|
[44]
|
Raubacher, Roland: Ein Statechart-basiertes Modell für
Geschäftsprozess unterstützende Webanwendungen.
Diplomarbeit, Universität Ulm, Juli 2002.
|
|
[43]
|
Müller, Olaf D.: Automatisches Generieren von Experience Bases.
Diplomarbeit, Universität Ulm, April 2002.
|
|
[42]
|
Schubert, Peter: 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.
|
| |
| 2001 |
|
[40]
|
Guttmann, Walter: 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.
|
| |
| 2000 |
|
[38]
|
Beth, Markus: 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.
|
|
[36]
|
Seibold, Sven: 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.
|
|
[34]
|
Vollmer, Tobias: 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.
|
|
[32]
|
Sorg, Thomas: Verifikation nebenläufiger Systeme.
Diplomarbeit, Universität Ulm, Juli 1999.
|
|
[31]
|
Does, Niels: Implementierungsaspekte zur Entwicklung einer
betriebssystem- und rechnerarchitekturunabhängigen Fernverwaltung.
Diplomarbeit, Universität Ulm, Juni 1999.
|
|
[30]
|
Kleiner, Nikolaus: Formale Überlegungen zu pragmatischen Methoden
des Requiremets Engineering.
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.
|
|
[28]
|
Kiedaisch, Friedemann: Firmenspezifisches Tailoring des V-Modells.
Diplomarbeit, Universität Ulm, Mai 1999.
|
|
[27]
|
Hiller, Martin: Objektorientierte Systemanalyse mit Rhapsody.
Diplomarbeit, Universität Ulm, März 1999.
|
|
[26]
|
Pfeiffer, Christian: Modellierung auf der Basis von UML am Beispiel
einer Universitätsabteilung.
Diplomarbeit, Universität Ulm, März 1999.
|
| |
| 1998 |
|
[25]
|
Häberlein, Tobias: Systemunterstützung für die transformationelle
Entwicklung von Hardwarebausteinen.
Diplomarbeit, Universität Ulm, Dezember 1998.
|
|
[24]
|
Metzger, Markus: Zielsprachenoptimierung für die M 6812
Prozessorfamilie als Postprozessor für einen bestehenden Compiler.
Diplomarbeit, Universität Ulm, Dezember 1998.
|
|
[23]
|
Gösele, Michael: Interaktive Konstruktion von dreidimensionalen
Szenen.
Diplomarbeit, Universität Ulm, Dezember 1998.
|
|
[22]
|
Quell, Thorsten: Typisierung und Programmtransformation.
Diplomarbeit, Universität Ulm, Juli 1998.
|
|
[21]
|
Thums, Andreas: Fehlersuche in formalen Spezifikationen.
Diplomarbeit, Universität Ulm, Juni 1998.
|
|
[20]
|
Schmid, Joachim: Nichtdeterminismus und Programmtransformation.
Diplomarbeit, Universität Ulm, Juni 1998.
|
|
[19]
|
Schirmer, Gabriele: 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.
|
| |
| 1997 |
|
[17]
|
Wieser, Eva: Kontinuierliche Erfahrungsbeschreibung bei
Prozeßverbesserung: Ein Objektmodell.
Diplomarbeit, Universität Ulm, Dezember 1997.
|
|
[16]
|
Prager, Marc: Algorithmenschemata für funktionale Programmierung.
Diplomarbeit, Universität Ulm, August 1997.
|
|
[15]
|
Dettinger, Mark: ULTRA: Ein interaktives Transformationssystem für
funktionale Programme.
Diplomarbeit, Universität Ulm, August 1997.
|
|
[14]
|
Krusemark, Michael: Implementierung einer interaktiven
Entwicklungsumgebung für Gofer.
Diplomarbeit, Universität Ulm, April 1997.
|
|
[13]
|
Vogt, Harald: Verifikation reaktiver Software-Komponenten.
Diplomarbeit, Universität Ulm, April 1997.
|
|
[12]
|
Sarstedt, Stefan: Funktionale Programmierung relationaler
Datenbanken.
Diplomarbeit, Universität Ulm, März 1997.
|
|
[11]
|
Duckeck, Mathias J.: Erweiterte Supercompilation.
Diplomarbeit, Universität Ulm, März 1997.
|
|
[10]
|
Knublauch, Holger: Objektorientierte Software-Entwicklung am
Beispiel des probabilistischen wissensbasierten Systems SPIRIT.
Diplomarbeit, Universität Ulm, Januar 1997.
|
| |
| 1996 |
|
[9]
|
Balser, Michael: Wiederverwendung von Beweisen nach Modifikation.
Diplomarbeit, Universität Ulm, Dezember 1996.
|
|
[8]
|
Schwinn, Thilo: Funktionale Implementierung grafischer
Benutzeroberflächen.
Diplomarbeit, Universität Ulm, April 1996.
|
| |
| 1995 |
|
[7]
|
Walter, Joachim-Oliver: Entwicklung und Implementierung eines
dreidimensionalen analytischen Modells zur Simulation eines
Zerspanungsprozesses.
Diplomarbeit, Universität Ulm, Oktober 1995.
|
|
[6]
|
Röscheisen, Heinrich E.: Extraktion von Information aus
algebraischen Typen auf der Basis statischer semantischer Analyse.
Diplomarbeit, Universität Ulm, Oktober 1995.
|
|
[5]
|
Ernst, Dietmar: Implementierung eines syntaxgesteuerten Editors für
die Sprache NoName.
Diplomarbeit, Universität Ulm, Oktober 1995.
|
|
[4]
|
Houdek, Frank: Implementierung von first-level NoName auf einer
Runtime-Stack Maschine.
Diplomarbeit, Universität Ulm, September 1995.
|
|
[3]
|
Müller, Erich: Entwicklung eines Modul-Informationssystems für den
NoName-Editor.
Diplomarbeit, Universität Ulm, August 1995.
|
|
[2]
|
Gut, Birgit: Übersetzung funktionaler Spezifikationen in
massiv-parallele Programme.
Diplomarbeit, Universität Ulm, Juli 1995.
|
|
[1]
|
Abdul, Michael: Analyse der Rekursionsstruktur in funktionalen
Programmen.
Diplomarbeit, Universität Ulm, März 1995.
|
Teaching.
Topics.
Supervised dissertations.