Unter der Leitung von Frau Maritta Heisel wird auf verschiedenen Ebenen Forschung im Bereich Software Engineering betrieben. Nachfolgend finden Sie die verschiedenen Forschungsgebiete aufgeführt:

Muster- und komponentenbasierte Softwareentwicklung:

• Problem und Security Frames
  
• Architektur- und Entwurfsmuster
• Modell- und musterbasierte Entwicklungsprozesse
• Spezifikation von Softwarekomponenten und Komponentenmodellen
• Werkzeuge

Formale Methoden und Software-Spezifikationstechniken:

• Interoperabilität von Komponenten (B, Object-Z)
• Werkzeugunterstütze formale Spezifikation
• Formalisierung des Komponentenansatzes
  
• Sicherheitsanalyse (CSP)
  

Requirements Engineering:

• Anforderungsanalyse
  
• Rolle des Domänenwissens
• Modellierung der Einsatzumgebung
• Nicht funktionale Softwareeigenschaften
  

Entwicklung sicherer Software:

• Security Engineering
  
• Verbindung von Safety und Security
• Modellbasierter Entwicklungsprozess für Eingebettete Systeme (DePES, Eigenentwicklungen)
• Nicht-funktionale Softwareeigenschaften

Softwareevolution:

• Ergänzung von Softwareentwicklungsprozessen um evolutionäre Aspekte
• Methodik und Werkzeugunterstützung für Softwareevolution