Software Engineering

Aktuell: Die Prüfungseinsicht zu Software Engineering (BSc bzw. PPO-01) findet vom 13. Februar 2008 bis zum 22. Februar 2008 statt. Termine gibt es nach Vereinbarung mittels E-Mail an: stoiber AT ifi.uzh.ch.

Einführung in die systematische Entwicklung und Pflege von Software.

Behandelt werden unter anderem: Grundbegriffe und Ziele des Software Engineerings; Software-Prozesse; Führung von Softwareprojekten; Aufwandschätzung; Elemente der Software-Entwicklung: Anforderungsspezifikation, Architektur und Entwurf von Software, Programmierung, Prüfung, Dokumentation; Pflege und Evolution von Software, Software-Werkzeuge, Software-Konfigurations- und -Qualitätsmanagement.

Die Modulübersicht im Vorlesungsverzeichnis der Universität finden Sie Hier.

• Bachelor of Science in Informatik: Pflichtmodul im dritten Semester. Voraussetzung: Die Assessmentstufe muss bestanden oder bedingt bestanden sein.
• Nebenfachstudium der Informatik: Modul der Kerngruppe. Voraussetzung: Stoff der Module Informatik I, Formale Grundlagen der Informatik I, Informatik IIa (Modellierung)
• Diplomstudium nach PPO 2001: anrechenbar im Hauptstudium als KV Software Engineering (oder bei genug anderen Kernvorlesungen als Informatik-Wahlvorlesung), sofern ein erweiterter Leistungsnachweis (siehe nächster Abschnitt) abgelegt wird.

Die bisherigen Vorlesungen "Software Engineering I" (Grundstudium) und "KV Software Engineering" (Hauptstudium) sind ausgelaufen. Das Modul BINF 2110 Software Engineering kombiniert Stoff aus diesen beiden Vorlesungen.

Studierende im Diplomstudium nach PPO 2001, die noch einen Leistungsnachweis in der KV Software Engineering brauchen, erwerben diesen wie folgt: im Modul BINF 2110 Software Engineering sind die Übungen regulär zu absolvieren. Zusätzlich erarbeiten diese Studierenden den nicht abgedeckten Stoff der KV Software Engineering im Selbststudium und absolvieren eine um diesen Stoff erweiterte Schlussklausur. Gleiches gilt für das Absolvieren von BINF 2110 als Informatik-Wahlvorlesung.

Der zusätzliche Stoff umfasst folgende Kapitel aus der KV Software Engineering: Kapitel 4 (Formale Verifikation), Kapitel 13 (Fehlervermeidung) sowie die Folien 27, 37 und 38 aus Kapitel 14* (Software-Qualitätssicherung und -Prozessverbesserung).

* Die übrigen Folien von Kapitel 14 KV SE decken sich mit Folien aus Kapitel 20 der aktuellen Vorlesung und gehören daher ohnehin zum Stoffumfang.

Im Herbstsemester 2007: jeden Dienstag von 8 bis 12 Uhr in Oerlikon, Seminarraum BIN 2.A.01. Zusätzlich wird eine Übungsstunde angeboten.

Erste Vorlesung: am Dienstag dem 18. September 2007 um 8.10 Uhr.

Die aktuellen Folien zu den Vorlesungen werden jeweils kurz vor dem Vorlesungstermin bereit gestellt.

Als Begleitliteratur werden zwei Texte verwendet:

• S. L. Pfleeger, J. Atlee: Software Engineering: Theory and Practice, 3rd edition, Upper Saddle River, N.J.: Pearson Education International, 2006.
• Martin Glinz: Software Engineering: Eine Einführung, Vorlesungsskript Universität Zürich, 2005.
    

Verweise auf weiterführende und vertiefende Literatur sowie ein kommentiertes Lehrbuchverzeichnis finden sich im Skript.

Es werden sechs Übungen ausgegeben, deren positive Bearbeitung Bestandteil des Leistungsnachweises ist.

Hier geht es zur Webseite der Uebungen des Herbstsemesters 2007.

Außerdem werden integriert in die Vorlesungen Mini-Übungen durchgeführt mit kleinen Fallstudien, Gedankenanstößen, etc. Diese dienen der Veranschaulichung des Stoffs und werden nicht bewertet.

Der Leistungsnachweis besteht aus der Bearbeitung von insgesamt sechs Übungen und aus einer Schlussklausur. Für das Bestehen des Leistungsnachweises müssen beide Teile bestanden sein.

Die Schlussklausur findet am Dienstag, 15. Januar 2008 ab 10.15h in Hörsaal 1.B.01 statt. In dieser Klausur können maximal 120 Klausurpunkte erzielt werden.

Als Hilfsmittel ist für die Prüfung ist ein Blatt A4 (Vorder- und Rückseite) mit selbst geschriebenen, handschriftlichen Notizen (Texte und Skizzen) zulässig. Das Blatt darf darüber hinaus keine weitere Information enthalten und muss ohne weitere Hilfsmittel (zum Beispiel einer Lupe) lesbar sein. Oben rechts auf dem Notizenblatt muss Ihr Name stehen. Es dürfen keine Kopien oder Ausdrucke verwendet werden. Für Studierende deren Muttersprache nicht Deutsch ist, ist ferner ein Wörterbuch zulässig. Diese Regelung gilt sowohl für Bachelor als auch für PPO 2001 Studierende.

Die in den Übungen erzielten Punkte (maximal 120) gehen wie folgt in die Gesamtbewertung ein:

• Übungen und Klausur bestanden: Gesamtpunkte = Klausurpunkte + 0.25 * Übungspunkte
• Übungen bestanden, Klausur nicht bestanden: Gesamtpunkte = Klausurpunkte
• Übungen nicht bestanden (unabhängig vom Ergebnis der Klausur): Gesamtpunkte = 0

Die Note für den Leistungsnachweis richtet sich nach der Anzahl der erzielten Gesamtpunkte.

Studierende im Diplomstudium nach PPO 2001, welche dieses Modul als KV Software Engineering oder als Informatik-Wahlvorlesung anrechnen lassen wollen, legen eine modifizierte Schlussklausur ab, die zusätzlich auch den nicht behandelten Stoff aus der KV Software Engineering umfasst (siehe Hinweis zur Anrechenbarkeit). Diese Prüfung dauert gleich lang wie die reguläre Prüfung; die Aufgaben sind jedoch teilweise unterschiedlich.

Eine Musterklausur finden Sie hier.

Folien und Skriptkapitel zum Herunterladen werden hier bereit gestellt. Bitte beachten Sie, dass die Kapiteleinteilung der Vorlesung nicht mit der Kapitelgliederung des Skripts übereinstimmt. In jedem Folienkapitel hat es am Schluss Hinweise auf die zugehörigen Kapitel bzw. Unterkapitel im Skript.

Hinweis: Es ist geplant, die Folienkapitel in der Reihenfolge 6, 1, 2, 3, 4, 13, 5, 15, 16, 7, 8, 9, 10, 11, 12, 19, 20, 23, 21, 17, 22, 18 zu behandeln.

Martin Glinz: Software Engineering: Eine Einführung, Vorlesungsskript Universität Zürich, 2005