Lehrveranstaltungen
Zur übergeordneten Rubrik
Wahlmodul 1: Programmverifikation (7,5 ECTS-AP, 5 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnisse: ad a.: Die Studierenden können Spezifikationen von Programmen interpretieren und erklären. Sie können die formale Semantik von grundlegenden Programmiersprachen darstellen. Die Studierenden können verschiedene Techniken zur Programmverifikation erläutern und diese hinsichtlich ihrer Mächtigkeit und Automatisierbarkeit differenzieren.
ad b.: Die Studierenden können Spezifikation von Programmen erstellen und korrigieren. Sie können eine Kombination aus interaktiven und automatischen Methoden praktisch anwenden, um sowohl funktionale als auch imperative Programme zu verifizieren.
ad b.: Die Studierenden können Spezifikation von Programmen erstellen und korrigieren. Sie können eine Kombination aus interaktiven und automatischen Methoden praktisch anwenden, um sowohl funktionale als auch imperative Programme zu verifizieren.
Wahlmodul 2: Softwarequalität (7,5 ECTS-AP, 5 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnisse: ad a.: Die Studierenden können Methoden und Techniken der Qualitätssicherung erläutern und beurteilen. Sie können Qualitätsanforderungen identifizieren und geeignete Methoden, Techniken und Werkzeuge zu deren Lösung auswählen. Die Studierenden haben die Fertigkeit erlangt, sich ähnliche Inhalte selbstständig zu erarbeiten.
ad b.: Die Studierenden können Methoden und Techniken der Qualitätssicherung in allen Phasen des Softwarelebenszyklus anwenden. Sie können Qualitätsanforderungen mit geeigneten Methoden, Techniken und Werkzeugen erheben. Die Studierenden können praktische Qualitätsaspekte optimieren.
ad b.: Die Studierenden können Methoden und Techniken der Qualitätssicherung in allen Phasen des Softwarelebenszyklus anwenden. Sie können Qualitätsanforderungen mit geeigneten Methoden, Techniken und Werkzeugen erheben. Die Studierenden können praktische Qualitätsaspekte optimieren.
Wahlmodul 3: Verteilte Systeme (7,5 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnisse: Lernergebnisse:
ad a.: Die Studierenden können wichtige Konzepte von verteilten Systemen erläutern und beurteilen. Sie sind in der Lage, verteilte Systeme in Bezug auf Fehlertoleranz, Verfügbarkeit, Zuverlässigkeit, Leistungsanalyse, Datenkonsistenz, sowie Skalierbarkeit zu analysieren.
ad b.: Die Studierenden können wichtige Konzepte von verteilten Systemen anwenden. Sie haben die Fertigkeit erworben, kleinere Anwendungen für verteilte Systeme zu entwerfen, zu implementieren und auf verteilten Systemen effizient und skalierbar auszuführen.
ad a.: Die Studierenden können wichtige Konzepte von verteilten Systemen erläutern und beurteilen. Sie sind in der Lage, verteilte Systeme in Bezug auf Fehlertoleranz, Verfügbarkeit, Zuverlässigkeit, Leistungsanalyse, Datenkonsistenz, sowie Skalierbarkeit zu analysieren.
ad b.: Die Studierenden können wichtige Konzepte von verteilten Systemen anwenden. Sie haben die Fertigkeit erworben, kleinere Anwendungen für verteilte Systeme zu entwerfen, zu implementieren und auf verteilten Systemen effizient und skalierbar auszuführen.
Wahlmodul 4: Visual Computing (7,5 ECTS-AP, 5 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnisse: ad a.: Die Studierenden können die elementaren Methoden des Visual Computings erläutern und beurteilen, insbesondere in der Bildverarbeitung und in der Bildsynthese. Sie sind in der Lage, sich ähnliche Inhalte selbst zu erarbeiten.
ad b.: Die Studierenden können Methoden des Visual Computings anwenden. Sie sind in der Lage, entsprechende praktische Probleme durch gezielten Einsatz der Methoden zu lösen.
ad b.: Die Studierenden können Methoden des Visual Computings anwenden. Sie sind in der Lage, entsprechende praktische Probleme durch gezielten Einsatz der Methoden zu lösen.
Hinweis:
- Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
- Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.