Modellbasierte Entwicklung » Startseite
 

Willkommen auf der Webseite der Professur für Modellbasierte Entwicklung (MBE) der Universität Siegen.

Aktuelles: Prüfungen im Sommersemester 2021

Prüfungseinsicht

Die Einsicht zu den Prüfungen findet gegen Ende September statt. Weitere Informationen folgen per E-Mail.

Lehre

Das Lehrangebot des Lehrstuhls umfasst Vorlesungen, Seminare und Praktika zu den beiden Kernfächern Softwaretechnik und Datenbanksysteme und richtet sich an Studierende der Informatik im Bachelor und Master und verwandter Studiengänge.

Forschung

Die Forschungsschwerpunkte des Lehrstuhls umfassen folgende Arbeitsgebiete:

  • Modellbasierter Entwurf und Qualitätssicherung komplexer Software-Systeme
  • Modellgetriebene Software-Entwicklung und Werkzeuge
  • Software-Test und Programm-Analyse
  • Software-Produktlinien und Software-Evolution
  • Semantik von Modellierungssprachen
  • Formale Methoden und Concurrency Theory

Als Anwendungsdomänen stehen dabei insbesondere im Fokus:

  • Embedded und Cyber-Physical Software-Systeme
  • Safety- und Mission-critical Software-Systeme

Aktualisiert um 14:45 am 26. März 2020 von g044465