Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

http://www.pst.ifi.lmu.de/lehre/SS04/formale-oo/

Formale objektorientierte Software-Entwicklung (SS 04)

Prof. Dr. Rolf Hennicker

Inhaltsverzeichnis

Klausur
Inhalt
Vorlesungsfolien
Übungsblätter
Klausur
Personen
Termine

Klausur

Zum Scheinerwerb mussten mindestens 30 Gesamtpunkte erreicht werden. Scheine werden demnächst versendet.
5 Scheine können wegen fehlendem adressiertem Briefumschlag nicht versendet werden.

Software-Engineering kann sich im Bereich der Sicherheit und Verlässlichkeit noch keineswegs mit anderen Ingenieurdisziplinen messen. In der Vorlesung wird darauf eingegangen, wie diese Kluft überbrückt werden kann, indem pragmatische Methoden der objektorientierten Software-Entwicklung durch fundierte, formale Techniken ergänzt werden. Als Modellierungssprache wird hierbei die Unified Modeling Language UML verwendet. Für die formale Beschreibung von Eigenschaften objektorientierter Systeme wird die Object Constraint Language OCL eingesetzt. Mit Hilfe von OCL können Klassen-Invarianten und Vor- bzw. Nachbedingungen für Operationen spezifiziert werden.

In diesem Rahmen werden Spezifikationsmethoden und Validierungstechniken für Systemmodelle besprochen und Methoden zum Nachweis der Korrektheit von Verfeinerungen und Implementierungen vorgestellt.

Hörerkreis:

Studierende im Hauptstudium mit Hauptfach Informatik.

Voraussetzungen:

UML und Kenntnisse in Prädikatenlogik und formalen Methoden

Literaturhinweise:

Jos Warmer, Anneke Kleppe. The Object-Constraint Language. Addison-Wesley, Reading, Massachusetts, 1998.
Object Management Group. UML 2.0, OCL Specification
Hubert Baumeister, Rolf Hennicker, Alexander Knapp, Martin Wirsing. OCL Component Invariants. In Luqi and Manfred Broy, editors, Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration, pages 208-215. U.S. Naval Postgraduate School, Monterey, 2001.

Vorlesungsfolien

Kapitel 1
Kapitel 2
Kapitel 3
Kapitel 4
Kapitel 5 (vollständig, aktualisiert ab Seite 16)
Inhaltsverzeichnis der Vorlesung

Übungsblätter

Blatt 1 dazu: Klassendiagramm (pdf), Objektdiagramm (pdf)
Blatt 2
Blatt 3
Blatt 4

Am 9.6.04 findet der 3. Präsenztest statt. Anschließend werden die Lösungen und weitere Zusatzaufgaben besprochen.
Blatt 5
Am 23.6.04 findet der 4. Präsenztest statt. Anschließend werden die Aufgaben von Übungsblatt 5 weiter besprochen.
Blatt 6
Am 7.7.04 findet der 5. Präsenztest statt. Anschließend werden die Aufgaben von Übungsblatt 6 weiter besprochen.
Lösung des 4. Präsenztests
Lösung des 5. Präsenztests
Blatt 7 Zusatzblatt: AirAirlineSystemSpec
Ergebnisse des 5. Präsenztests und Gesamtpunkte
Für die Klausurzulassung sind insgesamt mindestens 15 Punkte notwendig.
In den Übungen am 21.7.04 werden die Aufgaben von Übungsblatt 7 weiter besprochen.

Scheinerwerb

Zum Scheinerwerb müssen 5 Präsenztests und eine einstündige Klausur erfolgreich bearbeitet werden.
Die Präsenztests finden statt im Hörsaal 138 und 139, Theresienstr., jeweils um 12:30 am Mi, 5.5., 19.5., 9.6., 23.6. und 7.7.04.
Die Klausur findet statt am Do, 22.07.04, 13:00-14:00 im HS 138 und 139, Theresienstr.

Schriftliche oder elektronische Hilfsmittel sind bei der Klausur nicht zugelassen. Bringen Sie bitte zur Klausur einen ausreichend frankierten und an Ihre Anschrift adressierten Briefumschlag, sowie Studentenausweis und Personalausweis mit! Scheinformulare sind nicht beizulegen.

Personen

Vorlesung und Übung: Prof. Dr. Rolf Hennicker, E0.11, Oettingenstr. 67; 2180-9184

Termine

Vorlesung: 3-stündig; Zeit: Do 11-14; Ort: Hörsaal 139, Theresienstr. 39; Beginn: 1. Woche
Übung: 2-stündig; Zeit: Mi 12-14; Ort: Hörsaal 139, Theresienstr. 39; Beginn: 2. Woche