inf484 - Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I (Vollständige Modulbeschreibung)
Modulbezeichnung | Spezielle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I |
Modulkürzel | inf484 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Das Modul hat zum Ziel aktuelle Entwicklungen im Vertiefungsgebiet "Entwicklung korrekter Systeme" in den jeweils angemessenen Lehrveranstaltungsformen in das Studium zu integrieren.
Methodenkompetenzen
Sozialkompetenzen
Selbstkompetenzen
|
Modulinhalte | Siehe Beschreibung der zugeordneten Lehrveranstaltung |
Literaturempfehlungen | Wird in der zugeordneten Lehrveranstaltung bekannt gegeben |
Links | |
Unterrichtsprachen | Deutsch, Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | halbjährlich |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | 2 VA aus V, Ü, S, P |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Portfolio oder Referat oder mündliche Prüfung. |
Lehrveranstaltungsform | VA-Auswahl |
SWS | 4 |
Angebotsrhythmus | siehe Angebotsrhythmus Modul |
Workload Präsenzzeit | 56 h |