622.050 (23W) Spezifikation und Verifikation
Überblick
- Lehrende/r
- LV-Titel englisch Specification and Verification
- LV-Art Vorlesung
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 17
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 07.10.2023
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Die Lernergebnisse dieser Vorlesung sind
- das Erlernen der Grundlagen logikbasierter Beweismethoden,
- das Erlernen verschiedener formaler Methoden zur Programmverifikation,
- das Beherrschen der logikbasierten Spezifikation und Verifikation von sequenziellen und parallelen Programmen,
- das Beherrschen der Spezifikation und Verifikation von Java-Programmen und
- das Erlernen zukünftiger Trends und Anwendungen von formalen Methoden in der Softwareentwicklung.
Lehrmethodik
Diese Vorlesung wird geblockt abgehalten. Jeder Block umfasst vier Einheiten, die jeweils mit Pausen im Zeitraum von 08:00 – 12:00 geplant sind. Die Vorlesung findet an ausgewählten Samstagen und an einem Freitag statt.
Diese Lehrveranstaltung wird in Form einer Vorlesung angeboten. Die Vorlesung wird interaktiv gestaltet und es kommen Mini-Aufgaben zum Einsatz.
Inhalt/e
Die Vorlesung beinhaltet folgende Themen:
- Logik und Beweisführung
- Formale Methoden im Software Engineering
- Formale Programmspezifikation
- Programmverifikation
- Spezifikation und Verifikation von sequenziellen Programmen, insbesondere von Java-Programmen, die mittels der Java Modeling Language (JML) spezifiziert sind
- Spezifikation und Verifikation von parallelen Programmen, insbesondere mit dem Spin Model Checker
Erwartete Vorkenntnisse
Gute Kenntnisse der Java-Programmierung sind erforderlich.
Literatur
Die Literatur wird in der ersten Vorlesung bekanntgegeben.
Prüfungsinformationen
Prüfungsmethode/n
Die Beurteilung dieser Vorlesung erfolgt in Form einer schriftlichen Klausur zu Semesterende.
Prüfungsinhalt/e
Alle Inhalte der Vorlesung
Beurteilungskriterien/-maßstäbe
Korrektheit der Antworten zu theoretischen und praktischen Fragestellungen in der schriftlichen Klausur.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Diplom-Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement
(SKZ: 884, Version: 04W.7)
-
2.Abschnitt
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
2.Abschnitt
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 19W.2)
-
Fach: Softwareentwicklung
(Wahlfach)
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS) Absolvierung im 4., 5., 6. Semester empfohlen
-
8.8 Softwareentwicklung (
0.0h XX / 12.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 17W.1)
-
Fach: Softwareentwicklung
(Wahlfach)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
6.4 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Softwareentwicklung
(Wahlfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Masterstudium Angewandte Informatik
(SKZ: 911, Version: 13W.1)
-
Fach: Vertiefung Informatik
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Vertiefung Informatik
(Pflichtfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Informatics
(Wahlfach)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
- 622.050 Spezifikation und Verifikation (2.0h VO / 2.0 ECTS)
-
8.6 Spezifikation und Verifikation (
2.0h VO / 2.0 ECTS)
-
Fach: Informatics
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2022/23
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2021/22
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2020/21
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2019/20
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2018/19
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2014/15
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2013/14
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2012/13
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2011/12
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2010/11
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)
-
Wintersemester 2009/10
- 622.050 VO Spezifikation und Verifikation (2.0h / 2.0ECTS)