Modul

Praktikum: Programmverifikation [M-INFO-101537]

Leistungspunkte

Turnus

Unregelmäßig

Dauer

1 Semester

Sprache

Deutsch/Englisch

Level

Version

Verantwortung

Prof. Dr. Bernhard Beckert

Einrichtung

KIT-Fakultät für Informatik

Bestandteil von

Wirtschaftsinformatik (M.Sc.)

Teilleistungen

Identifier	Name	LP
T-INFO-102953	Praktikum: Programmverifikation	3

Erfolgskontrolle(n)

Siehe Teilleistung

Qualifikationsziele

Die Studierenden lernen Methodiken im Bereich der Programmverifikation
kennen.
Bei der Bearbeitung praktischer Aufgaben lernen sie, die zugrundeliegenden
Methodiken verstehen, begründen, bewerten und einordnen zu können. Weiterhin
lernen sie, die erzielten Ergebnisse dokumentieren, zusammenfassen und
präsentieren, sowie diskutieren zu können.

Voraussetzungen

Siehe Teilleistung

Inhalt

Im Praktikum soll das aus Vorlesungen zu Themen der Programmverifikation erlernte Wissen in die Praxis umgesetzt und vertieft werden.

Arbeitsaufwand

* Präsenzzeit und Gruppentreffen: 15 Stunden
* Einarbeitung in das Thema: 10 Stunden
* Planung und Bearbeitung der praktischen Aufgaben: 49 Stunden
* Erstellen der Präsentation: 8 Stunde
* Dokumentation und Zusammenfassung der Ergebnisse: 8 Stunden

Summe: 90 Stunden (= 3 Leistungspunkte)