 |
Architecture & Services
Beschreibungstechniken Entwicklungsprozesse für große
Software Systeme. |
 |
Modelbased Development
Formal fundierte und integrierte modellbasierte Entwicklung. |
 |
Produktdatenmodellierung
Modellierung von Produktdaten. |
 |
Embedded Systems
Design, Beschreibung, Analyse und Simulation von Kontrollsoftware
für technische Prozesse. |
 |
Development Processes
Entwicklung von Metamodellen, Projektanagement, Process
Patterns, Maturity Models, Werkzeuge zur Projektunterstützung |
|
|
 |
Context Aware Systems
Spezifikation und Entwicklung kontextsensitiver Systeme |
 |
Requirements Engineering
Systematische Analyse, Abstimmung und Spezifikation von Anforderungen
in den Spezifikationsdokumenten der Systementwicklung.
|
|
|
 |
Software Maintenance
Wartung und Weiterentwicklung vorhandener Software. |
 |
Specification & Verification & Testing
Formale Spezifikation, Testen und Verifikation von softwareintensiven Systemen. |
 |
Tool Support
Werkzeugentwicklung am Lehrstuhl. |
 |
Model-Based Systems & Qualitative Reasoning
Problemlösen auf Basis von Verhaltensmodellen physikalischer oder Software-Systeme. |
|
Softwarequalität
Spezifikation und Analyse der Qualität von Softwaresystemen |
|
|
