622.050 (23W) Spezifikation und Verifikation

Wintersemester 2023/24

Anmeldefrist abgelaufen.

Erster Termin der LV
07.10.2023 08:00 - 12:00 S.0.05 On Campus
... keine weiteren Termine bekannt

Ü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

Liste der Termine wird geladen...

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

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

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 Benotungsschema

Position 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)
  • 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
  • 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)
  • 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)
  • 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)
  • 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)

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)