inf486 - Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I (Vollständige Modulbeschreibung)

Modulbezeichnung	Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
Modulkürzel	inf486
Kreditpunkte	3.0 KP
Workload	90 h
Einrichtungsverzeichnis	Department für Informatik
Verwendbarkeit des Moduls
Zuständige Personen	Fleischhack, Hans (Modulverantwortung) Olderog, Ernst-Rüdiger (Prüfungsberechtigt)
Teilnahmevoraussetzungen
Kompetenzziele
Modulinhalte	In diesem Modul werden aktuelle Themen aus dem Gebiet Entwicklung korrekter Systeme behandelt. Für weitere Informationen sehen Sie sich die zugeordnete Veranstaltung an.
Literaturempfehlungen
Links
Unterrichtssprache	Deutsch
Dauer in Semestern	1 Semester
Angebotsrhythmus Modul	unregelmäßig
Aufnahmekapazität Modul	unbegrenzt
Modulart	Ergänzung/Professionalisierung
Modullevel	AS (Akzentsetzung)
Lehr-/Lernform	V oder S

Prüfung	Prüfungszeiten	Prüfungsform
Gesamtmodul	Am Ende der Vorlesungszeit nach Absprache mit dem Lehrenden	Referat oder mündliche Prüfung