Modultitel:	Formale Methoden			Kürzel:	Erg.InfFM
Pflichtmodul Wahlpflichtmodul				Leistungspunkte: 9 LP
Bereich:	Ergänzung Informatik
Verantwortlicher Hochschullehrer: Prof. Dr. Hans-Jürgen Buhl
Lernziele/Kompetenzen Die Studierenden können formale Software-Modelle lesen, verstehen und kritisch beurteilen. Sie lernen formale Methoden als ein Kommunikationsmittel der Mitglieder eines Software-Entwicklungsteams kennen. Die Studierenden sind in der Lage, mit Hilfe der formalen Spezifikation Teilsysteme von realistischen Softwaremodellen selbst zu entwickeln.
Lehrveranstaltung
Titel LV:	Formale Methoden
Pflichtbereich Wahlpflichtbereich	Studiensemester: Wintereinstieg: 2 Sommereinstieg: 1 oder 3
Workload:	Kontaktstunden: 90		Selbststudium: 180	Gesamt: 270
SWS:	4 V, 2 Ü	Gruppengröße Vorlesung:	20	Gruppengröße Übung:		20
Häufigkeit:	1 x alle 2 Jahre		Angebotssemester:	Sommersemester
Dauer:	1 Semester		Sprache:	Deutsch
Lehrinhalte:	- Softwarequalität, Zusicherungen in Algorithmen; Konstruktoren, Modifikatoren, Observatoren und Destruktoren; Ausnahmebedingungen; - Methodik "Programming by Contract": Vorbedingungen, Nachbedingungen und Invarianten; ENBF zur formalen Spezifikation freier Eingabesprachen, UML-Klassendiagramme, Startwerte, Vererbung von Klasseninvarianten, Methodenvor- und nachbedingungen; - Formale Spezifikation (z.Zt. in OCL2): UML-Klassendiagramme und "Constraints", virtuelle Attribute und Methoden, redundante Attribute und Methoden - "Constraints" an Attribute, Methoden und Assoziationen, Container-Typen, Frame-Regeln; - Fallstudien von formal spezifizierter Software (Algorithmen und Datenstrukturen)
Lehrformen:	Vorlesung und Übungen		Prüfungsformen:	schriftliche oder mündliche Prüfung
Lehrende:	Prof. Dr. Hans-Jürgen Buhl, Dr. Peter Feuerstein
Anzahl LP:	9
Voraussetzungen für die Teilnahme: Kenntnisse in der objektorientierten Programmierung und der Software-Entwicklung aus Bachelor
Verwendbarkeit über diesen Studiengang hinaus: Master IT
Erwerb der LP in der Lehrveranstaltung: bestandene Prüfung