Softwaretechnik

Verantwortlich

• Prof. Dr. Andreas Podelski
• Prof. Dr. Peter Thiemann
• Martin Mehlmann
• Stefan Wehr

Webseite

• Ankündigungen und Materialien zu dem von Prof. Podelski gehaltenen Teil der Vorlesung werden auf dieser Webseite veröffentlicht
• Die Materialien zu dem von Prof. Thiemann gehaltenen Teil finden sie hier.

Ankündigungen

• Neu: Am Mittwoch, 3. September 2008, 9 - 11 Uhr findet eine Wiederholungsstunde zur Vorbereitung auf die Abschlussklausur statt. Wir besprechen in der Wiederholungsstunde die Übungsklausur und stehen für Fragen zur Verfügung. Der Raum für die Wiederholungsstunde ist HS 00-036, Geb. 101.
• Ihre Zwischenklausurnote können Sie hier erfahren.
• Die Fragestunde findet ab sofort Donnerstags von 13.30 - 14.00 Uhr in Raum 00-016, Geb. 52 statt.
• Die Übungsblättern werden wöchentlich verteilt und in der darauffolgenden Woche in einer Saalübung besprochen.
• Die Vorlesung findet Donnerstags von 9:05 st - 11:00 Uhr und Freitags von 11:00 ct - 12:00 Uhr jeweils in HS 00-036, Geb. 101 statt.
• Die Saalübung findet Freitags von 12:00 - 13:00 Uhr in HS 00-036, Geb. 101 statt.

Übungsblätter

Modalitäten

• Zur Zulassung zur Abschlussklausur müssen mindestens 50% der Punkte im gesamten Zeitraum und mindestens 50% der Punkte ab dem 13.06.2008 erreicht werden. Punkte gibt es für die Übungsblätter und für die Zwischenklausur. Die Zwischenklausur wird wie zwei Übungsblätter bewertet.
• Zur erfolgreichen Teilnahme an der Vorlesung muss die Abschlussklausur bestanden werden. Die Note der Abschlussklausur ist die Gesamtnote.
• Die Übungsblättern dürfen in Gruppen zu maximal 3 Studenten bearbeitet und abgegeben werden.
• Abschreiben von anderen Gruppen ist nicht erlaubt. Beim ersten Verstoss wird die Übung für die betroffenen Studenten mit null Punkten bewertet. Beim zweiten Verstoss werden die betroffenen Studenten nicht zur Klausur zugelassen.

Tutoren

• Fernando Meyer
• Sergiy Bogomolov
• Sergio A. Feo
• Dominik Debre

Literatur

• Handschriftliches Skript zu UML von Bernd Westphal
• C.A.R Hoare - An Aximatic Basis for Computer Programming
• David Harel - Executable Object Modeling with Statecharts
• Apt, Olderog - Programmverifikation (10 Exemplare in Uni Bibliothek, bestellbar über CvO Unibuch Buchhandlung, ISBN 3-540-57479-4)