622.051 (23W) Spezifikation und Verifikation

Wintersemester 2023/24

Anmeldefrist abgelaufen.

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

Ü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 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 PR / 4.0 ECTS)
          • 622.051 Spezifikation und Verifikation (2.0h UE / 4.0 ECTS)
  • 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
  • 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)
  • 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)
  • 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)
  • 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)

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
  • 622.051 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)
  • 622.052 PR Spezifikation und Verifikation (2.0h / 4.0ECTS)