|
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 |
||||||