Formale objektorientierte Software-Entwicklung (SS 02)

Priv.-Doz. Dr. Rolf Hennicker

Inhaltsverzeichnis dieser Seite

• Inhalt
• Vorlesungsfolien
• Skript
• Übungsblätter
• Personen
• Termine
• Scheinerwerb

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:
  • J. Warmer, A. Kleppe. The Object-Constraint Language. Addison-Wesley, Reading, Massachusetts, 1998.
  • Object Constraint Language Specification. ps-Datei der OCL 1.4 Spezifikation als Auszug der UML 1.4 Spezifikation unter http://www.celigent.com/omg/umlrtf/artifacts.htm
  • H. Baumeister, R. Hennicker, A. Knapp, M. Wirsing: OCL Component Invariants. (pdf-Datei) 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.

• Kapitel 1
• Kapitel 2
• Kapitel 3
• Kapitel 4
• Kapitel 5
• Kapitel 6
• Kapitel 7

• Titelseite (ps, pdf)
• Kapitel 1-7 (ps, pdf) (99 Seiten)

• Übungsblatt 1, dazu Lösungsvorschlag zu Aufgabe 1(a)-(d) und Aufgabe 1(e).

• Übungsblatt 2, dazu Lösungsvorschlag.

• Übungsblatt 3, dazu Lösungsvorschlag und das Bild.

• Übungsblatt 4, dazu Lösungsvorschlag.

• Übungsblatt 5, dazu Lösungsvorschlag a und Lösungsvorschlag b.

• Übungsblatt 6, dazu Lösungsvorschlag.

• Übungsblatt 7, dazu der Bild und Lösungsvorschlag.

• Übungsblatt 8, dazu Bild a, Bild b, und Lösungsvorschlag.

• Übungsblatt 9 dazu Lösungsvorschlag.

• Übungsblatt 10 dazu Lösungsvorschlag.

Vorlesungen werden gehalten von:

Priv.-Doz. Dr. Rolf Hennicker

Adresse:	Raum E 0.11, Oettingenstr. 67
Telefon:	2180-9184
Email Adresse:	hennicke(at)informatik.uni-muenchen.de
Sprechstunde:	Montag, 14-15

Übungen werden betreut von:

Dr. Piotr Kosiuczenko

Adresse:	Raum E 9, Oettingenstr. 67
Telefon:	2180-9133
Email Adresse:	kosiucze(at)informatik.uni-muenchen.de
Sprechstunde:	Dienstag, 11-12

• Vorlesung:

  3-stündig

  Zeit:	Donnerstag 14-17 Uhr
  Ort:	Hörsaal 0.37, Oettingenstr. 67
  Beginn:	18.04.02

• Übung:

  2-stündig

  Zeit:	Mittwoch 14:00(!)-16 Uhr
  Ort:	Hörsaal 1.31, Oettingenstr. 67
  Beginn:	24.04.02

• Klausur:

  Zeit:	Montag 22.7.02, 10.00-12.00 Uhr
  Ort:	HS 138, Theresienstr. 39
  	Es handelt sich um eine CLOSED BOOK Klausur, bei der keine Unterlagen zugelassen sind. Bringen Sie bitte zur Klausur einen ausreichend frankierten und an Ihre Anschrift adressierten Briefumschlag, sowie Studentenausweis und Personalausweis mit! Scheinformulare sind nicht beizulegen.

zurück zum Inhaltsverzeichnis dieser Seite

Der Scheinerwerb erfolgt durch eine Klausur. Anmeldungen müssen bis zum Do., 27.6.02, in der Vorlesung erfolgt sein.

zurück zum Inhaltsverzeichnis dieser Seite