Modellbasierte Entwicklung » Startseite
 

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

Aktuelles: Prüfungen im Sommersemester 2021

Die schriftlichen DBS I, DBS II, ST I und ST II Prüfungen im Sommersemester 2021 werden im selben Format wie im Wintersemester 2020/21 durchgeführt, also als Open-Book-Prüfung. Wenn Sie zur Prüfung im Unisono angemeldet sind, erhalten Sie Informationen zur Teilnahme an der Prüfung über Ihre studentische E-Mail-Adresse.

  1. Sie erhalten am Tag vor der Prüfung eine E-Mail, welche einen Link zum Download der Prüfung als verschlüsselte ZIP-Datei enthält. Laden Sie die ZIP-Datei und die Selbständigkeitserklärung unten schon frühzeitig herunter.
  2. 30 Minuten vor Beginn der Bearbeitungszeit der Prüfung erhalten Sie eine E-Mail mit dem Passwort zum Entschlüsseln dieser ZIP-Datei.
  3. Lesen Sie vor der Bearbeitung der Prüfung alle Hinweise auf dem Deckblatt der Prüfungs-PDF.
  4. Alle notwendigen Informationen zur Abgabe der Prüfung finden Sie ebenfalls auf dem Deckblatt.

Um zu testen, ob Ihr ZIP-Programm geeignet ist, können Sie diese Test-ZIP-Datei mit dem Passwort XJNFE99bMac4RUYYvLLaVUS2 verwenden.

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