|
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 |
|
|