Modul: Formale Methoden im Software Engineering

Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.

INF-8040: Formale Methoden im Software Engineering

Anzahl der Leistungspunkte (LP):
6 LP

Modulart (Pflicht- oder Wahlpflichtmodul):	Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:	Inhalte Das Modul umfasst eine Auswahl weiterführender Themen aus dem Gebiet des Software Engineering, beispielsweise im Bereich Software-Qualitätssicherung, Service Engineering, formale Methoden im Systemdesign. Qualifikationsziele Die Studierenden verfügen über ein vertieftes Verständnis und die Fähigkeit zur Verwendung verschiedener Ansätze des Software Engineering kennen Merkmale zahlreicher Technologien und Werkzeuge zur Spezifikation, komponentenbasierten Entwicklung und Qualitätssicherung moderner Softwaresysteme sowie ihre Anwendung in verschiedenen Kontexten sind in der Lage, vorgegebene theoretische Fragestellungen und praktische Aufgabenstellungen zu Modellierung und Realisierung von Softwaresystemen zu bearbeiten und einfache Lösungen unter Anwendung fachwissenschaftlicher Methoden zu entwerfen sind in der Lage, im Team zusammenzuarbeiten. Sie sind in Problemanalyse geübt und sie können selbständig mit formalen Methoden umgehen.
Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP):	Eine Prüfung der folgenden Formen: Klausur, 90 Minuten Mündliche Prüfung, 20-30 Minuten
Selbstlernzeit (in Zeitstunden (h)):	120

Veranstaltungen (Lehrformen)	Kontaktzeit (in SWS)	Prüfungsnebenleistungen (Anzahl, Form, Umfang)		Lehrveranstaltungsbegleitende Modul(teil)prüfung (Anzahl, Form, Umfang)
		Für den Abschluss des Moduls	Für die Zulassung zur Modulprüfung
Vorlesung und Übung (Vorlesung und Übung)	4	erfolgreiche Bearbeitung von Übungsaufgaben (50 %)	-	-


Häufigkeit des Angebots:	SoSe
Voraussetzung für die Teilnahme am Modul:	keine
Anbietende Lehreinheit(en):	Informatik

Zuordnung zu Studiengängen	Modulart
Master of Science Computational Science WiSe 2019/20	Wahlpflichtmodul