Diplomarbeit
2016
Erweiterung des Java-Editors von Eclipse um Programmanalyse-Komponenten
(
Wirsing
/
Hölzl
/
Zhang
)
2015
General Game Playing with Relational Markov Decision Processes
(
Wirsing
/
Belzner
)
2014
Komplexitätsanalyse für die Konvertierung objekt-orientierter Programme
(
Hennicker
)
Proteome Visualization Tool
(
Wirsing
/
Belzner
)
2013
Partitionierung von Echtzeitbetriebssystemen in eingebetteten Multicore-Systemen
(
Wirsing
/
Kroiß
)
2012
A lightweight runtime-verication framework for application-specic, state-based protocols in Java with AspectJ
(
Wirsing
/
Kroiß
)
Pattern- and Template-based Generation of Rich Web Applications
(
Knapp
/
Wirsing
/
Koch
/
Kroiß
)
Modellvalidierung in der Entwicklung von Web-Anwendungen
(
Wirsing
/
Koch
)
Darstellung alternativer GUI-Entwürfe mittels langer Transaktionen und Layers
(
Wirsing
/
Störrle
/
Busch
)
Mechanisms for Task Allocation in Swarm Robotics
(
Wirsing
/
Hölzl
/
Kroiß
/
Klarl
)
Sicherheitsbezogene Model to Code Transformation für Webanwendungen
(
Wirsing
/
Busch
)
2011
Theory and tool support for modal contracts of software components
(
Hennicker
/
Bauer
)
Neuroevolution for Robot Control
(
Wirsing
/
Klarl
/
Kroiß
/
Hölzl
)
Entwicklung eines Modellierungswerkzeugs für Aspekt-orientierte Zustandsmaschinen
(
Wirsing
/
Zhang
/
Busch
)
Quantitative Evaluation of Workflow Management Systems
(
Wirsing
/
Busch
)
Services in Timed Input/Output Automata
(
Hennicker
/
Adam
)
Eclipse Plugin zur Modellierung von Web-Anwendungen
(
Wirsing
/
Koch
)
An Automated Process for the Generation of Generic Model Interfaces for Evolutionary Different AUTOSAR Schema Versions
(
Wirsing
/
Klarl
)
Analyse und Optimierung von GT-DART Aufbau eines Demonstrators als Wissensbasis fur Fehlersuche an komplexen Systemen/Prufstanden
(
Wirsing
/
Kroiß
)
Automatisierte Aufbereitung der PST-Publikationsdatenbank
(
Wirsing
/
Zhang
)
Entwicklung eines adaptiven ODX-Viewers
(
Wirsing
/
Kroiß
)
Einbettung von graphischen GUI-Templates in einen Ansatz zur modellgetriebenen Entwicklung von RIAs
(
Wirsing
/
Kroiß
)
Integration of Security Aspects in Web Engineering
(
Wirsing
/
Koch
)
Fehler-tolerantes Workflow in Grid Computing
(
Wirsing
/
Liu
/
Zhang
)
Erweiterung von UWE um plattformunabhängige Persistenzmodelle
(
Wirsing
/
Kroiß
)
2010
Modellbasierte Anforderungsanalyse für die Entwicklung von adaptiven RIAs
(
Wirsing
/
Koch
)
Generierung von Java-Code aus FSP-Prozessausdrücken
(
Hennicker
/
Mayer
)
Aspekt-orientierte Entwicklung von Rich-Internet-Applications
(
Wirsing
/
Zhang
)
Machine Learning User Preferences in Rich Internet Applications
(
Wirsing
/
Zhang
)
Eine Constraint-basierte Refactoring-Engine
(
Wirsing
/
Zhang
/
Hölzl
)
Erweiterung von UML-basierten Modellierungstechniken für Rich Internet Applications
(
Wirsing
/
Koch
/
Preisner
)
Entwicklung von RIAs - Evaluierung von UWE anhand einer Fallstudie
(
Wirsing
/
Koch
/
Kroiß
)
Konzeption und Entwicklung von Methoden zur interaktiven Sicherheitsuntersuchung von Web 2.0 Anwendungen
(
Hennicker
/
Kroiß
/
Zhang
)
Modellbasierte Entwicklung von Konfigurationen und Rekonfigurationen
(
Wirsing
/
Schroeder
)
UI Modelling Approaches: A Survey
(
Wirsing
/
Zhang
)
Verteilung des REFLECT Frameworks mit R-OSGi
(
Wirsing
/
Hammer
/
Schroeder
)
Situationserkennung im Kontext unsicherer Informationen
(
Hennicker
/
Berger
)
Ontologiebasierte Entwicklung und Akzeptanzförderung einer Intranet Infrastruktur
(
Hennicker
/
Domansky
/
Jeske
)
2009
Software Engineering von dynamischen und verteilten Services einer hochverfügbaren Online-Plattform
(
Wirsing
/
Koch
/
Binder
)
A Framework for Solving Soft Constraint Systems
(
Wirsing
/
Hölzl
/
Zhang
)
Workflow-basierte Funknetparameterverwaltung
(
Wirsing
/
Schroeder
)
Erweiterung des UML4SOA-Profils und Transformationen um Data-Handling
(
Wirsing
/
Schroeder
/
Mayer
)
Sicherstellung von Qualitätsanforderungen in der agilen Softwareentwicklung
(
Wirsing
/
Kroiß
)
Erstellung eines Katalogs von Entwurfsmustern für dienstorientierte Systeme
(
Wirsing
/
Hölzl
)
Pathfinding in 3D Worlds using Navigation Meshes
(
Wirsing
/
Hölzl
)
Analyse Patterns zur Modellierung und Generierung von Web-Systeme mit UWE
(
Knapp
/
Koch
/
Kroiß
)
Konzeption einer semi-automatischen Modelltransformation von BPMN-Prozessen zu SAP Business Workflows
(
Wirsing
/
Kroiß
)
Modellierung und Generierung von Web 2.0 Webanwendungen
(
Knapp
/
Koch
)
2008
Eine Methodik zur inkrementellen Entwicklung von Datemodellen in Produktivsystemen mit MDA
(
Wirsing
/
Schroeder
/
Schönfeld
)
Automatische Generierung von Navigationsgraphen
(
Wirsing
/
Hölzl
)
Metamodelle für Grob- und Fachkonzepte
(
Wirsing
/
Koch
/
vom Ende
)
Modellbasierte Generierung von Web-Anwendungen mit UWE
(
Knapp
/
Koch
/
Zhang
)
Reverse-Engineering von Web-Anwendungen
(
Knapp
/
Zhang
)
Service-orientierte Ueberwachung mehrschichtiger komplexer Anwendungen durch den Einsatz von Methoden der Business Intelligence
(
Wirsing
/
Hammer
)
Multi-Core-Model Checking mit Komponententechnologie
(
Knapp
/
Hammer
)
2007
Entwicklung eines Wikis in Java/Spring
(
Wirsing
/
Hammer
/
Hölzl
)
Eine verteilte operationale Semantik für UML 2.0-Interaktionen
(
Knapp
/
Cengarle
)
Evaluierung und Vergleich von Java-Webapplikations-Frameworks
(
Wirsing
/
Mayer
)
Werkzeug-Unterstützung für Vergleich und Transformation abstrakter Syntaxbäume
(
Wirsing
/
Zhang
)
Aspekt-orientierte Programmierung am Beispiel eines Wertpapiererfassungssystems
(
Wirsing
/
Zhang
/
Zoetl
)
Specification and Tool-based Analysis of Danubia Simulation Configurations
(
Hennicker
/
Janisch
)
Modellintegration und Codegenerierung im UML-basierten Web-Engineering
(
Wirsing
/
Zhang
/
Hacklinger
)
Automatische Bestimmung des Differenzierungsgrades von Mammakarzinomen
(
Wirsing
/
Schroeder
)
Analyse, Design und Implementierung eines servicebasierten E-Learning Systems
(
Wirsing
/
Hölzl
)
MagicDraw-Plugin zur Modellierung und Generierung von Web-Anwendungen
(
Knapp
/
Koch
)
Konzept für einen modellbasierten Entwurfs mechatronischer Systeme
(
Wirsing
/
Hammer
)
UML-basierte Anforderungsanalyse zur Bewertung von CMDB-Lösungen am Beispiel der EADS Deutschland GmbH
(
Knapp
/
Brenner
/
Sailer
/
Geist
)
Business Process Design: Analyse und Design eines integrativen Ansatzes mit Aris und OlivaNova
(
Wirsing
/
Kimpl
/
Koch
)