622.051 (23W) Spezifikation und Verifikation
Überblick
- Lehrende/r
- LV-Titel englisch Specification and Verification
- LV-Art Übung (prüfungsimmanente LV )
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 14 (30 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 07.10.2023
- eLearning zum Moodle-Kurs
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Intendierte Lernergebnisse
Die Lernergebnisse dieser Übung 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
- Austeilen von Übungsblättern
- Ausarbeitung der Übungsblätter als Hausübung
- Präsentation und Diskussion der Übungsausarbeitungen durch Studierende und LV-Leiter in den Übungseinheiten
Inhalt/e
- 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 Übung bekanntgegeben.
Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsmethode/n
Fünf Übungsblätter
Prüfungsinhalt/e
Inhalte der Übungsaufgaben
Beurteilungskriterien/-maßstäbe
- Korrektheit der ausgearbeiteten Übungsblätter
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 PR / 4.0 ECTS)
- 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h PR / 4.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.051 Spezifikation und Verifikation (2.0h UE / 4.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 UE / 4.0 ECTS)
- 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
-
6.4 Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Softwareentwicklung
(Wahlfach)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
- 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Fach: Softwareentwicklung
(Wahlfach)
- Masterstudium Angewandte Informatik
(SKZ: 911, Version: 13W.1)
-
Fach: Vertiefung Informatik
(Pflichtfach)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
- 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
-
Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Fach: Vertiefung Informatik
(Pflichtfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Informatics
(Wahlfach)
-
8.6 Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
- 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
-
8.6 Spezifikation und Verifikation (
2.0h UE / 4.0 ECTS)
-
Fach: Informatics
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2022/23
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2021/22
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2020/21
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2019/20
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2018/19
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2017/18
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2016/17
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2015/16
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2014/15
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2013/14
- 622.051 UE Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2012/13
- 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
-
Wintersemester 2010/11
- 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
- Wintersemester 2009/10