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.
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.