Modul: Models and Algorithms - Concepts and Methods

Inhalt

In Anbetracht der erheblichen Komplexität moderner Softwaresysteme sowie der stetig wachsenden Datenmengen, die in derartigen Systemen verarbeitet werden, sind viele praktische Fragestellungen nur durch neue Modellierungsansätze und neue algorithmische Verfahren zu bewältigen. Dieses Modul vermittelt detaillierte Kenntnisse derartiger Ansätze und Verfahren. Dies beinhaltet formale und theoretische Mittel zur Analyse von Softwaresystemen und Algorithmen sowie Konzepte zur Entwicklung neuer algorithmischer Verfahren unter Berücksichtigung anwendungsspezifischer Erfordernisse wie etwa Effizienz, Skalierbarkeit, Zuverlässigkeit und formale Korrektheit. Ebenfalls in diesen Bereich fallen neue Programmiermodelle zur Ausnutzung spezifischer Rechnerarchitekturen, wie etwa Quantum Computing, Parallel Computing oder Edge Computing.

Qualifikationsziele

Die Studierenden erwerben detailliertes Wissen über die im Modul gegenständlichen Fachthemen.

Die Studierenden:

-          erlangen fachspezifische theoretische und methodische Kenntnisse,

-          können zu einer vorgegebenen Problemstellung geeignete Lösungskonzepte und -strategien auswählen und anwenden,

-          erweitern ihre fachliche Urteilskompetenz,

-          Erwerben Erfahrung im Entwurf und in der formalen Analyse von Softwaresystemen,

-          sind in der Lage zur Lösung von Problemen selbstständig geeignete Informationsquellen zu erschließen und einzusetzen,

-          erweitern ihre Lernfähigkeiten.

Diesem Modul zugeordnete Lehrveranstaltungen werden in englischer Sprache angeboten.

Eine Prüfung der folgenden Formen:

Klausur, 90-120 Minuten

Hausarbeit, (mind. 8 Seiten) zusammen mit Ergebnispräsentation (20-45 Minuten)

Mündliche Prüfung, 30-45 Minuten

Übungsaufgaben (50%)

WiSe