Modultitel: |
Kürzel: |
NInf.PbC |
||||
Pflichtmodul |
|
|
Leistungspunkte: 6 LP |
|||
Bereich: |
Nebenfach Informatik |
|||||
Verantwortlicher Hochschullehrer: |
||||||
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 |
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 |
||||||