Modul CS4507-KP12, CS4507
Softwareverifikation (SoftVeri)
Dauer
2 Semester
Angebotsturnus
Jährlich, kann sowohl im SoSe als auch im WiSe begonnen werden
Leistungspunkte
12
Studiengang, Fachgebiet und Fachsemester:
- Master Informatik 2019, Pflicht, Kanonische Vertiefung SSE, Beliebiges Fachsemester
- Master Medizinische Ingenieurwissenschaft 2020, Vertiefungsmodul, Informatik/Elektrotechnik, Beliebiges Fachsemester
- Master Entrepreneurship in digitalen Technologien 2020, Vertiefungsmodul, fachspezifisch, Beliebiges Fachsemester
- Master Informatik 2019, Wahlpflicht, Vertiefungsmodule, Beliebiges Fachsemester
- Master Informatik 2014, Pflicht, Schwerpunktfach Software Systems Engineering, 1. und 2. Fachsemester
- Master Medizinische Ingenieurwissenschaft 2014, Vertiefungsmodul, Informatik/Elektrotechnik, 1. und 2. Fachsemester
- Master Entrepreneurship in digitalen Technologien 2014, Vertiefungsmodul, fachspezifisch, 2. und 3. Fachsemester
- Master Informatik 2014, Vertiefungsmodul, Vertiefung, 2. und 3. Fachsemester
Lehrveranstaltungen:
- Siehe CS5220 T: Statische Analyse (Vorlesung mit Übungen, 4 SWS)
- Siehe CS4139 T: Runtime Verification und Testen (Vorlesung mit Übungen, 4 SWS)
- Siehe CS4138 T: Model Checking (Vorlesung mit Übungen, 4 SWS)
Workload:
- 210 Stunden Selbststudium
- 30 Stunden Prüfungsvorbereitung
- 120 Stunden Präsenzstudium
Lehrinhalte:
- s. Modulteile
Qualifikationsziele/Kompetenzen:
- Die Studierenden können verschiedene Ansätze zur Softwareverikation untereinander in Beziehung setzen.
- Weitere Kompetenzen s. Modulteile
Vergabe von Leistungspunkten und Benotung durch:
- Mündliche Prüfung
Modulverantwortliche:
Literatur:
- : Siehe Literatur in den Modulteilen
Sprache:
- Sowohl Deutsch- wie Englischkenntnisse nötig
Bemerkungen:
Zulassungsvoraussetzungen zur Belegung des Moduls:- Keine
Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungsaufgaben gemäß Vorgabe am Semesteranfang
Modulprüfung(en):
- CS4507-L1: Softwareverifikation, mündliche Prüfung, 100% der Modulnote
(Besteht aus CS4138 T, CS4139 T, CS5220 T)
Zwei der drei Teilmodule müssen gewählt werden.
Letzte Änderungen:
06.01.2025