Aufbauend auf Kenntnissen aus formalen Methoden der Informatik werden Fähigkeiten vermittelt, die über grundlegene sequentielle Programmierung hinausgehen. Dies betrifft im speziellen die Programmierung nebenläufiger Kontrollflüsse unter Bezugnahme auf Echtzeitbedingungen, deren subtile Probleme und Herausforderungen eingehend behandelt werden. Ein weiterer Schwerpunkt liegt auf der Verifikation nicht-funktionaler Eigenschaften basierend auf formaler Semantik.
6 ECTS = 150 Sunden
Stunden Gegenstand
20 Anwesenheit VO
10 Anwesenheit UE
05 Anwesenheit Tests
98 Vorbereitung UE
42 Nachbereitung VO, Vorbereitung Tests
Voraussetzung für die Anmeldung ist eine Fortmeldung zu einem der folgenden Studien:
Skriptum vorhanden