Modul CS4507-KP12, CS4507

Dauer:

Angebotsturnus:

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), Technologiefach Informatik, 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), Technologiefach Informatik, 2. und 3. Fachsemester
• Master Informatik 2014 (Vertiefungsmodul), Vertiefung, 2. und 3. Fachsemester

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

Modulverantwortlicher:

• Prof. Dr. Martin Leucker

Lehrende:

• Institut für Softwaretechnik und Programmiersprachen

• Prof. Dr. Martin Leucker

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 Änderung: