 |
Architecture & Services
Beschreibungstechniken Entwicklungsprozesse für große
Software Systeme. |
 |
Modelbased Development
CASE tool development, deployment, und modellbasiertes Testen. |
 |
Security
Methodische Entwicklung von sicherheitskritischen Systemen. |
 |
Embedded Systems
Design, Beschreibung, Analyse und Simulation von Kontrollsoftware
für technische Prozesse. |
 |
Process Models
Entwicklung von Process Meta-Models, Project Management, Process
Patterns, Open Source Processes, Maturity Models |
 |
Theorem Proving
Grundlagen und Anwendungen von maschinenunterstützten Beweisen. |
 |
Mobility & Context Awareness
Architekturen für mobile und Kontext-bezogene
Anwendungen |
 |
Requirements Engineering
Systematische Analyse, Abstimmung und Spezifikation von Anforderungen
in den Spezifikationsdokumenten der Systementwicklung.
|
 |
Correctness of Programming
Languages
Theorie und Werkzeuge zur Verifikation von Programmiersprachen. |
 |
Software Maintenance
Wartung und Weiterentwicklung vorhandener Software. |
 |
Verification & Testing
Test und Verifikation von softwareintensiven Systemen. |
 |
Tool Support
Werkzeugentwicklung am Lehrstuhl. |
