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
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.