Formale objektorientierte Software-Entwicklung (SS 01)

Prof. Dr. Martin Wirsing

Priv.-Doz. Dr. Rolf Hennicker

Inhaltsverzeichnis dieser Seite

• Inhalt
• Übungsblätter
• Personen
• Termine

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

• Voraussetzungen:
  Wünschenswert sind Kenntnisse in UML und Prädikatenlogik

• Literaturhinweise:
  • J. Warmer, A. Kleppe. The Object-Constraint Language. Addison-Wesley, Reading, Massachusetts, 1998.
  • Weitere Literatur wird in der Vorlesung bekanntgegeben.

• Übungsblatt 1
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4
• Übungsblatt 5
• Invarianten Flugsystem
• Vor- u. Nachbedingungen Flugsystem: Teil I
• Definition Constraints
• Vor- u. Nachbedingungen Flugsystem: Teil II
• Übungsblatt 6
• Formale Repr"asentation der Klassenspezifikation
• Übungsblatt 7
• Übungsblatt 8

Die Vorlesung wird gehalten von:

Prof. Dr. Martin Wirsing

Adresse:	Raum 0.58, Oettingenstr. 67
Telefon:	2178-2151
Email Adresse:	wirsing@informatik.uni-muenchen.de
Sprechstunde:

Die Übungen werden betreut von:

Priv.-Doz. Dr. Rolf Hennicker

Adresse:	Raum E 0.11, Oettingenstr. 67
Telefon:	2178-2184
Email Adresse:	hennicke@informatik.uni-muenchen.de
Sprechstunde:	Montag, 14-15

• Vorlesung:

  3-stündig

  Zeit:	Donnerstag 12-15 Uhr
  Ort:	Hörsaal 1.31+1.27, Oettingenstr. 67
  Beginn:	26.04.01

• Übung:

  2-stündig

  Zeit:	Mittwoch 13-15 Uhr
  Ort:	Hörsaal 1.15, Oettingenstr. 67
  Beginn:	2.5.01

zurück zum Inhaltsverzeichnis dieser Seite