• FernUni /
• Fakultät MI /
• Studium /
• Module /
• Modul 63075 Masterseminar Mode...

In der Lehrveranstaltung "Einführung in das wissenschaftliche Arbeiten" erweitern die Studierenden zunächst ihre Kompetenzen wissenschaftlichen Schreibens, indem sie literaturbasiert die Verzahnung von Forschungs- und Schreibprozess reflektieren und durch im Kursmaterial enthaltene Übungen auf eigene Fragestellungen anwenden. Sie beschäftigen sich vertieft mit dem Aufbau und der Struktur wissenschaftlicher Texte in der Informatik, indem sie vorhandene deutsch- und insbesondere englischsprachige Texte analysieren, überarbeiten oder eigene Textteile formulieren.

Weiterhin beschäftigen sich die Studierenden mit den Unterschieden und Gemeinsamkeiten bei Aufbau und Struktur von deutschen und englischsprachigen wissenschaftlichen Texten, zudem erweitern sie ihre Kenntnisse über Forschungsdatenmanagement und Veröffentlichungsstrategien.

 

Masterseminar Modellierung und Verifikation:

In vielen Anwendungsfällen möchte man sicher sein, dass ein Programm korrekt ist, also die gewünschten Eigenschaften hat. Besonders wenn Fehler extrem teuer oder gar lebensbedrohlich sein können, ist die Risikobereitschaft beim Einsatz von Software naturgemäß gering. Testen ist für solch sicherheitskritische Software unzureichend, denn Tests können nur bestehende Fehler aufdecken, aber nicht die Fehlerfreiheit attestieren. Daher wäre es wünschenswert, ein allgemeines Verifikationsverfahren zu haben, um die Korrektheit eines Programms zu beweisen. Der Satz von Rice stellt hier allerdings eine natürliche Grenze dar, dernach das Verifikationsproblem im Allgemeinen unentscheidbar ist. In diesem Seminar werden wir  verschiedene Techniken betrachten, die es ermöglichen, das Verifikationsproblem - jedenfalls in gewissen Fällen - zu lösen. Behandelt werden unter anderem die Themen Verhaltensäquivalenzen, Model Checking und Abstrakte Interpretation.