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

https://www.pst.ifi.lmu.de/Lehre/SS03/formale-oo/

Formale objektorientierte Software-Entwicklung (SS 03)

Aktuelles

1.8.03:

Lösungsvorschläge zu den Kurzprüfungen finden sich unten.

1.7.03:

Eine Liste der Klausurzulassungen findet sich unten.

21.6.03:

Ergänzung zur Lösung von Aufgabe 2 auf Übungsblatt 5 unten

12.6.03:

Die nächste Kurzprüfung findet am 25.6. statt. Es sind keine Hilfsmittel erlaubt. Papier und Schreibmaterial sind mitzubringen.

A-L: 10:15-11:00
M-Z: 11:15-12:00

20.5.03:

Als Klausurtermin wurde der 16.7., 10:00-12:00, festgelegt.

5.5.03:

In der Übung am 7.5. findet eine Kurzprüfung statt. Es sind keine Hilfsmittel erlaubt. Papier und Schreibmaterial sind mitzubringen.

14.4.03:

Die Vorlesung fällt am 17.4., 1.5., 29.5. und 19.6. aus.

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 mit Hauptfach Informatik. Nebenfach-Studenten mit Interesse an Mathematik-basierten Spezifikationsmethoden sind ebenfalls willkommen.

Voraussetzungen:

Wünschenswert sind Kenntnisse in UML und Prädikatenlogik

Literaturhinweise:

Jos Warmer, Anneke Kleppe. The Object-Constraint Language. Addison-Wesley, Reading, Massachusetts, 1998.
Object Management Group. Object Constraint Language Specification. In: Object Management Group. Unified Modeling Language Specification, v1.5. Kap. 6., OMG, formal/03-03-01, 2003.
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.
Weitere Literatur wird in der Vorlesung bekanntgegeben.

Vorlesungsfolien

Übungsblätter

Kurzprüfungen

Klausur

           Punkte   Note
300679       21      3.7
300932       13.5    5.0
302368       21.5    3.3
302503       18      4.0
302669        8.5    5.0
302929       18.5    4.0
303012       38      1.0
303051       20.5    3.7
303220       21.5    3.3
303295       23.5    3.0
303601       18.5    4.0
303723       36.5    1.3
303923       10.5    5.0
304530       21.5    3.3
304741        9.5    5.0
304891        8      5.0
304971       13.5    5.0
304991       39.5    1.0
305055        7      5.0
305119       18.5    4.0
305585       10      5.0
308001       10      5.0
308946        8.5    5.0
312185       18      4.0
313765       27      2.7
400163       23      3.3
400993       17      4.0
401202       17.5    4.0
401368       17      4.0
401471       18      4.0
403423       23.5    3.0
405265       10.5    5.0
405364       11.5    5.0
406741       19.5    3.7
407015       12.5    5.0
408139       13.5    5.0
2320546 (TU) 24      3.0

Eine Klausureinsichtnahme findet am Montag, 4. August, 10h-11h, in Raum E0.6 bei Dr. Alexander Knapp statt.

Personen

Vorlesung: Priv.-Doz. Dr. Rolf Hennicker ( hennicke, E0.11, Oettingenstr. 67; 2180 9184)
Übung: Dr. Alexander Knapp ( knapp, E0.6, Oettingenstr. 67; 2180 9179)

Termine

Vorlesung: 3-stündig; Zeit: Do 11-14h; Ort: Hörsaal 1.12, Theresienstr. 37/39; Beginn: 1. Woche
Übung: 2-stündig; Zeit: Mi 10-12h; Ort: Raum E.41, Theresienstr. 37/39; Beginn: 2. Woche
Klausur: Zeit: Mi 16.7., 10:00-12:00; Ort: Raum 122, Theresienstr. 37/39; Hinweise: Bringen Sie bitte zur Klausur einen ausreichend frankierten und an Ihre Anschrift adressierten Briefumschlag, sowie Studentenausweis und Personalausweis mit! Scheinformulare sind nicht beizulegen. Schriftliche Unterlagen sind nicht zugelassen.

Scheinerwerb

Der Scheinerwerb erfolgt durch eine Klausur. Zulassungsvoraussetzung für die Klausur ist das Erreichen von 40% der möglichen Punktzahl aus den in der Übung abgehaltenen schriftlichen Kurzprüfungen.

Bei allen schriftlichen und mündlichen Prüfungen sind Hilfsmittel jeglicher Art nicht zugelassen.

Die Leistungsnachweise werden auf dem Postwege zugestellt.