inf487 - Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" II (Vollständige Modulbeschreibung)
Modulbezeichnung | Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" II |
Modulkürzel | inf487 |
Kreditpunkte | 3.0 KP |
Workload | 90 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 | unregelmäßig |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V oder S |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende des Semesters |
Referat oder mündliche Prüfung. |
Lehrveranstaltungsform | Vorlesung oder Seminar |
SWS | 2 |
Angebotsrhythmus | siehe Angebotsrhythmus Modul |
Workload Präsenzzeit | 28 h |