Allgemeines Interna

Softwarezuverlässigkeit

Proseminar (5 CP)
Wintersemester 2011/2012

Markus N. Rabe
Bernd Finkbeiner
Peter Faymonville

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

Die Anmeldung wird nach der Eröffnungsveranstaltung und Vorbesprechung für einige Tage möglich sein.
Wie üblich werden Sie sich sowohl bei uns als auch über das Prüfungssystem anmelden müssen.

Format

Das Proseminar wird in drei Blöcken (je 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

Vorraussetzungen

Wir erwarten, dass Sie Programmieren 1 bereits bestanden haben.
Darüber hinaus sind Vorlesungen wie Theoretische Informatik und Grundzüge von Algorithmen und Datenstrukturen hilfreich aber nicht notwendig um der Veranstaltung zu folgen.
Sie müssen (einfache) englischsprachige Fachliteratur lesen können und flüssig Deutsch reden können.
Wir begrüßen es, wenn Sie Ihren Vortrag auf Englisch halten, es besteht allerdings kein Zwang.

Benotung

Die Benotung erfolgt aufgrund Ihres Hauptvortrags und ihrer Zusammenfassung.
Bei guter Beteiligung an den Diskussionen geben wir einen Bonus auf die Endnote.