Modellbasierte Entwicklung » Startseite
 

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

Lehre

Das Lehrangebot der Professur 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 der Professur 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