Under the direction of Mrs.Maritta Heisel, reseach is performed on several levels in the field of software engineering. In the following, you can find the reseach areas:

Pattern and component based software development:

• Problem frames und security frames
  
• Design patterns and architectural patterns
• Model and pattern-base development processes
• Secification of software components and component models
• Tools

Formal methods and software specification techniques:

• Interoperability of components (B, Object-Z)
• Tool supported formal specification
• formalization of the component approach
  
• Safety and security analysis (CSP)
  

Requirements engineering:

• Requirements analysis
  
• Role of domain knowledge
• Modelling of the operational environment
• Non-functional software properties
  

Development of secure and safe software:

• Security engineering
  
• Interrelation of safety und security
• Model-based development process for embedded systems (DePES)
• Non-functional software properties

Software evolution:

• Supplementation of development processes with evolution aspects
• Tool support for software evolution