Modultitel:

Programming by Contract

Kürzel:

NInf.PbC

 Pflichtmodul
 Wahlpflichtmodul

 

 

Leistungspunkte:

6 LP

Bereich:

Nebenfach Informatik

Verantwortlicher Hochschullehrer:

Prof. Dr. Hans-Jürgen Buhl

Lernziele/Kompetenzen

Die Studierenden kennen konstruktive Methoden zur Verbeserung der Softwaregüte und können sie bei der Problemlösung benutzen.

Lehrveranstaltung

Titel LV:

Programming by Contract

 Pflichtbereich
 Wahlpflichtbereich

Studiensemester:

Wintereinstieg:     5

Sommereinstieg:  4 oder 6

Workload:

Kontaktstunden:

60

Selbststudium:

120

Gesamt:

180

SWS:

2 V,  2 Ü

Gruppengröße

Vorlesung:

40

Gruppengröße

Übung:

20

Häufigkeit:

1 x alle 2 Jahre

Angebotssemester:

Wintersemester

Dauer:

1 Semester

Sprache:

Deutsch

Lehrinhalte:

Softwaregüte; Debugging, asserts, bedingte Compilierung; Hoare-Tripel, Code-Verifikation; (ausführbare) Annotationen: Vor-, Nachbedingungen und Invarianten, Ausnahmebedingungen; Contracts, Annotationen zur Überprüfung (und Dokumentation) des Erreichens von Teilzielen

Lehrformen:

Vorlesung und Übungen

Prüfungsformen:

schriftliche oder mündliche Prüfung

Lehrende:

Prof. Dr. Hans-Jürgen Buhl

Anzahl LP:

6

Voraussetzungen für die Teilnahme:

Objektorientierte Programmierung

Verwendbarkeit über diesen Studiengang hinaus:

Bachelor WiMa, Bachelor Angew NW, Komb. 2-Fach Bachelor, Master IT

Erwerb der LP in der Lehrveranstaltung:

bestandene schriftliche oder mündliche Prüfung