Softwarezuverlässigkeit

Proseminar (5 CP)
Wintersemester 2011/2012

Markus N. Rabe
Bernd Finkbeiner
Peter Faymonville

News

Für alle Teilnehmer des Proseminars ist jetzt der Interne Teil der Seite geöffnet: Interna (siehe auch oben).
Die diesjährige Einführungsveranstaltung für den Bachelorstudiengang kollidierte leider mit unser Einführungsveranstaltung. Wir haben die Einführung nun auf Dienstag 12 Uhr verlegt und sie wird in Raum 528 Gebäude E1.3 stattfinden.

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:

Logic and Theorem Proving
Modeling Software Systems
Formal Specification
Automatic Verification
Deductive Software Verification
Process Algebra and Equivalences
Software Testing
Combining Formal Methods

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

Vorbesprechung: ~~17.10.2011, 17 Uhr~~ 18.10.2011, 12 Uhr. Raum 528 Gebäude E1.3.
Verbindliche Anmeldung zwischen 17.10.2011 und 19.10.2011
Einführungsveranstaltung zu Softwarezuverlässigkeit: 10.11.2011, 8:30 Uhr. Raum 328, E1.3.
Probevorträge: 14.01.2012
Hauptvorträge: TBA (Ende Februar, kurz nach der Klausurenzeit)

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.