Softwarezuverlässigkeit

Proseminar (5 CP)
Sommersemester 2015


Bernd Finkbeiner
Peter Faymonville
Hazem Torfah

News

Inhalt

In diesem Proseminar werden Sie lernen wissenschaftliche Vorträge zu halten.
Sie werden sich selbstständig in ein fachliches Gebiet einarbeiten und eine Präsentation dazu ausarbeiten.
Der zweistufige Seminaraufbau dient dazu, dass Sie im Laufe der Veranstaltung Rückmeldung bekommen und sich daraufhin verbessern können.
Thematisch beschäftigen wir uns mit den Grundlagen von formalen Methoden zur Verbesserung von Softwarezuverlässigkeit.
Die Literatur ist nur auf Englisch verfügbar, der Vortrag darf jedoch in Deutsch gehalten werden.
Die folgenden Themen werden wir voraussichtlich behandeln:

Anmeldung

Bitte melden Sie sich bis zum 26.04.2015 23:59 im rCMS an.
Falls die Anzahl der Anmeldungen die Zahl der verfügbaren Plätze überschreitet werden die Teilnehmer gelost. Sie werden rechtzeitig darüber informiert.

Format

Das Proseminar wird in drei Blöcken (je ca. 1 Tag, siehe unten) stattfinden.
Im ersten Block werden Sie eine Einführung in das Thema, sowie Tipps zum Präsentationsentwurf sowie zur Vortragsweise bekommen.
Bis zum zweiten Block werden Sie sich in Ihr Thema einarbeiten sowie eine kurze Präsentation vorbereiten.
Nach dem Probevortrag erhalten Sie Rückmeldung von Ihrem Betreuer sowie von Ihren Kommilitonen, welche Sie für den Hauptvortrag berücksichtigen sollen.

Termine

Voraussetzungen

Wir erwarten, dass Sie Programmierung 1 bereits bestanden haben.
Wir begrüßen es, wenn Sie Ihren Vortrag auf Englisch halten, es besteht allerdings kein Zwang.