Main Research
The group's research focuses on methods and tools for software development, quality-assurance techniques and IT safety and security requirements, systematically applying mathematically sound techniques and embedding them in software development. This is seen as an integrated, interactive process of product development and quality assurance, using suitable methods and encompassing requirements engineering, model building, development, validation and verification as well as software adaptation and use. As software use in technical systems increases, its interaction with its physical environment must be described using suitable models.
The group's work covers the following key areas:
- Description and development of software components in the form of models and implementation techniques for mastering the complexity of ever larger software systems using new abstraction mechanisms
- Quality-assurance techniques for systematic testing of software and test automation, especially for embedded, safety-critical systems, e.g. in aircraft construction, rail technology and, increasingly, automotive engineering
-
Visualization of software development processes covering modelling and simulation as well as techniques for describing and handling the structure and execution of software development processes
-
IT safety and security requirements: given the inadequacy of standard
modelling techniques, new techniques are being developed to describe,
implement and verify such requirements
The group's work is integrated into international partnerships and
cooperations, with exchanges in the form of brief visits and lectures as
well as longer stays and scholarships. A major priority is involving
students in such activities early on to both broaden their horizons and
promote long-term ties.
Lectures
- Softwaretechnik, Basic course
- Objektorientierte Softwareentwicklung, Vertiefungsveranstaltung
- Methoden und Werkzeuge zur Softwareproduktion, Vertiefungsveranstaltung
- Objektorientierte Modellierung und Simulation technischer Systeme, Vertiefungsveranstaltung
- Visualisierung von Softwareprozessen, Vertiefungsveranstaltung
- Softwarequalitätsmanagement, Vertiefungsveranstaltung
- Softwaretechnische Aspekte der Systemsicherheit, Vertiefungsveranstaltung
- Effiziente Implementierung von Algorithmen, Vertiefungsveranstaltung
- Software Engineering Projekt, Project
- Seminar Softwaretechnik, Seminar
