Formale Methoden eingebetteter Systeme: Modellbasierte Analyse

Kontakt

Leitung

Prof. Dr. M. Fränzle
Raum: D119/120 (OFFIS)
Tel.: +49-441-9722 566

Sekretariat

Kathrin Kuper
Raum: D121 (OFFIS)
Tel.: +49-441-9722 501
Fax: +49-441-9722 502

Formale Methoden eingebetteter Systeme: Modellbasierte Analyse

Diese Veranstaltung wird im Wintersemester 2021/2022 angeboten. Die Anmeldung erfolgt über das .

Semester: Wintersemester 2021

2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse -  


Veranstaltungstermine

  • Mittwoch: 10:00 - 12:00, wöchentlich (20.10.2021 - 02.02.2022)
  • Freitag: 12:00 - 14:00, wöchentlich (22.10.2021 - 04.02.2022)

Lehrende

Studienbereiche

  • Studium generale / Gasthörstudium

SWS
4

Art der Lehre
Ausschließlich Online

Lehrsprache
--

empfohlenes Fachsemester
--

Für Gasthörende / Studium generale geöffnet:
Ja

Hinweise zum Inhalt der Veranstaltung für Gasthörende
In der Veranstaltung werden die semantischen, logischen und algorithmischen Grundlagen der automatischen Analyse eingebetteter Softwaresysteme vermittelt. Die primäre Unterweisungsform ist hierbei der medial unterstützte Vortrag sowie das didaktische Frage-Antwort-Spiel, wobei als unterstützende Medien Präsentationen, Animationen und Werkzeugvorführungen dienen.

(Stand: 20.09.2021)