Skript

Hier können die Vorlesungsfolien heruntergeladen werden. Die Kapitel werden im PDF-Format angeboten.

Wichtig: Die Folien sollen das Verständnis der Vorlesung unterstützen. Sie sind nicht als Ersatz der Vorlesung geeignet. Um tieferen Einblick in die behandelten Themen zu erlangen und speziell den Zusammenhang zwischen den einzelnen Themen zu erkennen, wird die Anwesenheit in den Vorlesungen empfohlen. Weiterführende Literatur zu den behandelten Themen finden sich auf unserer Literatur-Seite.

Zum Betrachten von PDF-Dateien können Sie den Adobe Reader oder alternativ den Foxit Reader verwenden.

Kapitel Titel Download Geändert
0 Organisation se2_ss2012_00_Organisation.pdf 27.03.2012
1 Inhalte und Lernziele se2_ss2012_01_Inhalte_und_Lernziele.pdf 27.03.2012
2 Motivation se2_ss2012_02_Motivation.pdf 27.03.2012
3 Prozessmodelle se2_ss2012_03_Prozessmodelle.pdf 27.03.2012
4 Lastenheft / Pflichtenheft se2_ss2012_04_Lastenheft_Pflichtenheft.pdf 27.03.2012
5 Projektplanung se2_ss2012_05_Projektplanung.pdf 27.03.2012
6 UML in der Analyse se2_ss2012_06_UML_Analyse.pdf 03.05.2012
7 UML im Entwurf se2_ss2012_07_UML_Entwurf.pdf 14.05.2012
8 UML-Java se2_ss2012_08_UML_Java.pdf 16.05.2012
9 Strukturierte Analyse 1 se2_ss2012_09_Strukturierte_Analyse_1.pdf 27.03.2012
10 Strukturierte Analyse 2 se2_ss2012_10_Strukturierte_Analyse_2.pdf 30.05.2012
11 Entwurf se2_ss2012_11_Entwurf.pdf 04.06.2012
12 Bindung und Kopplung se2_ss2012_12_Bindung_und_Kopplung.pdf 19.06.2012
13 Übersetzerbau 1 se2_ss2012_13_Compilerbau_1.pdf 27.03.2012
14 Übersetzerbau 2 se2_ss2012_14_Compilerbau_2.pdf 27.03.2012
15 Softwaretest se2_ss2012_15_Softwaretest.pdf 20.06.2012
16 Formale Verifikation se2_ss2012_16_Formale_Verifikation.pdf 09.07.2012
17 Oberflächengestaltung se2_ss2012_17_Oberflaechengestaltung.pdf 27.03.2012

Zusatzmaterial

Zu Kapitel Beschreibung Link
14 JavaCC-Quelldatei zur umgekehrten polnischen Notation (getestet mit javacc 5.0 und java 1.7.0_05) upn.jj
14 Die Quelldateien für Jaccie-Beispiel finden Sie im Jaccie-Archiv bei den Beispielen (Prefix2Infix)

Änderungen und Korrekturen

  • 03.05.2012
    Kapitel 6, Folie 12: Der Satz Abstrakte Klassen ... "Enthalten keine Implementierung einer Methode" wurde gestrichen. Abstrakte Klassen werden in späteren Kapiteln genauer erklärt.
  • 14.05.2012
    In den Kapiteln 6 und 7 wurden auf diversen Folien "Kollaborationsdiagramme" umbenannt in "Kommunikationsdiagramme". Außer der Bezeichnung gibt es keine Änderungen an den Diagrammen und Beispielen in den Folien.
  • 16.05.2012
    Kaptiel 8, Folie 26: Konstruktor in Programmbeispiel korrigiert
  • 30.05.2012
    Kapitel 10: Lösung der Designaufgabe eingefügt
  • 04.06.2012
    Kapitel 11, Folie 51, 64, 66, 70: Darstellung der Speicher korrigiert (keine Schnittstellen!)
  • 05.06.2012
    Das neue Kapitel "Bindung und Kopplung" mit Kapitelnummer 12 wurde hinzugefügt. Die Nummerierung der restlichen Kapitel wurde angepasst.
  • 19.06.2012
    Kapitel 12, Folie 7: Beim vierten Stichpunkt waren Bindung und Kopplung vertauscht. Korrekt lautet der Satz "Eine starke Bindung und schwache Kopplung begünstigt z.B. die Wartbarkeit und Wiederverwendbarkeit."
  • 20.06.2012
    Kapitel 15, Folie 21: Die Segmentierung des Kontrollflussgraphen wurde korrigiert.
  • 21.06.2012
    Das neue Kapitel "Formale Verifikation" mit Kapitelnummer 16 wurde hinzugefügt. Das Kapitel Oberflächengestaltung hat jetzt die Nummer 17.
  • 27.06.2012
    Kapitel 16, Folie 8: In Schritt 8 muss die Zusicherung für den Dividenden lauten: "Dividend ≥ 0" statt "Dividend > 0".
  • 09.07.2012
    Kapitel 16, Folie 68: Im zweiten Ausdruck war eine Klammer zu viel.