Softwaretechnik

Verantwortlich

• Prof. Dr. Andreas Podelski
• Matthias Neubauer

Kontakt

• Betreuerteam
• Studentenliste

Ankündigungen

• 2006-10-10: Die Klausureinsicht findet am Fr. 20.10.2006 von 10:00h-12:00h in Seminarraum 052-00-016 (Geb. 052) statt.
• 2006-09-18: Die Klausur am Fr, 22.09.2006, findet in den Hörsälen HS 00-026 und HS 00-036 in Gebäude 101 statt.
• 2006-08-01: Am Do., den 03.08.2006 findet eine letzte Tutorensprechstunde statt. Dort besteht ein letztes Mal die Gelegenheit korrigierte Mini-Tests abzuholen und zu besprechen.
• 2006-06-28: Unter Klausur ist die neue Bonuspunktregelung näher erklärt.
• 2006-06-27: Am Fr., den 07.07.2006 findet die Vorlesung und die Übungsstunde in HS 00-006, Geb. 082 statt.
• 2006-06-26: Aufgabe 2 von Übungsblatt enthielt zwei Tippfehler. Ab heute ist eine korrigierte Version verfügbar.
• 2006-06-19: Die Tutorensprechstunde von Phillip Linkenheil fällt diese Woche, am Do. 22. 06. 2006, aus!
• 2006-06-16: Unter Literatur ist ein Verweis zum Z-Handbuch zu finden.
• 2006-06-13: In Aufgabe 1 von Übungsbaltt 5 hat sich in das Z-Scheme Bag[X] ein Fehler eingeschlichen. Ab sofort ist eine korrigierte Version des Übungsblatts verfügbar.
• 2006-05-22: Ab dieser Woche findet freitags erst die Übungsstunde und dann die Vorlesung statt. D.h. die Mini-Tests finden in Zukunft schon um 11:15 Uhr statt!
• 2006-05-05: Ab heute gibt es das erste Übungsblatt.
• 2006-05-04: Ab heute gibt es zwei Mailinglisten zur Vorlesung: eine zur Kontaktaufnahme mit dem Betreuerteam, die andere für gemeinsamen Mailaustausch mit allen Vorlesungsteilnehmern.
• 2006-04-25: Die erste Vorlesung findet am Do, den 27.04.2006 statt.

Zeit/Ort

Vorlesung

Übungstunde

Tutorensprechstunden

Folien

Übungsaufgaben

Inhalt der Vorlesung

Einführung in grundlegende Themen der Softwaretechnik: Prozess-Modelle, Software-Spezifikation, Techniken zur semiformalen/formalen Software-Modellierung, Objektorientierte Analyse und Design, Design Patterns, Testen

Übungen

Der Übungsteil der Veranstaltung dient zur Wiederholung, Vertiefung und Überprüfung des in der Vorlesung vermittelten theoretischen Wissens.

Wöchentlich erfolgt eine Ausgabe von Übungsblättern, die in der darauffolgenden Woche in der Übungsstunde behandelt und in Form einen Mini-Tests überprüft werden. Die Abgabe von zuhause bearbeiteten Übungsblättern ist freiwillig.

Klausur

Zulassungsvorraussetzung ist der Nachweis der regelmäßigen Teilnahme an den Übungen (MasterPO, Spezifizierung zu §15(4), DiplomPO §23(6), bzw. BachelorPO §17(4)). Der Nachweis wird durch Erreichen einer Mindestpunktzahl von 50% bei den zu Beginn der Übungen abgehaltenen Mini-Tests erbracht.

Die in den Mini-Tests ab einschliesslich Übungblatt 7 erreichten Punktzahlen werden bei Teilnahme an der Abschlussklausur als Bonuspunktzahl zu den in der Klausur erreichten Punkten hinzuaddiert. Die Note sehr gut kann auch ohne zusätzliche Bonuspunkte erzielt werden. Die Addition der Bonuspunktzahl ist nicht abhängig vom Bestehen der Klausur. In anderen Worten, eine hohe Bonuspunktzahl erhöht die Chancen zum Bestehen der Klausur.

Als Hilfsmittel zur Klausur ist ausschließlich ein einzelner, handschriftlich verfasster Din-A4-Notizzettel zugelassen. Weitere Hilfsmittel wie etwa Literatur, weitere Notizen, Übungsaufgaben oder technische Hilfsmittel sind nicht erlaubt.

Die Klausureinsicht findet am Fr. 20.10.2006 von 10:00h-12:00h in Seminarraum 052-00-016 (Geb. 052) statt.

Literatur

Helmut Balzert, Lehrbuch der Software-Technik, 2. Auflage, Bd. 1, Spektrum Akademischer Verlag

J. M. Spivey, The Z Notation: A Reference Manual, Second Edition, Prentice Hall

David Garlan and Mary Shaw, An Introduction to Software Architecture, CMU-CS-94-166, January 1994.