Inhalt

• Allgemeines
• Thema
• Literatur
• Termine

Allgemeines

• Semester: SS 2003
• Dozent: Prof. Dr. K. Madlener, Prof. Dr. A. Poetzsch-Heffter
• Betreuer: Robert Eschbach (AG Madlener), Christian Stenzel (AG Poetzsch-Heffter)
• Siehe auch WWW-Seite der AG Poetzsch-Heffter
• Mailing List: seminar-svt@informatik.uni-kl.de
• Eintrag im Vorlesungsverzeichnis:
  • 89-290 Seminar
  • Poetzsch-Heffter
  • 2 Std.
  • n.V., s. Aushang
  • A) Aktuelle wissenschaftliche Veröffentlichungen aus dem Bereich Objektorientierung.
  • B) Werden in der Vorbesprechung bekannt gegeben (siehe Website der AG Softwaretechnik).
  • C) Vordiplom in Informatik, Inhalte der Vorlesung "Fortgeschrittene Aspekte objektorientierter Programmierung".

Thema

• Verfeinerungsbegriffe: Grundlagen und Probleme
• OCL und ihre Formalisierung
• Temporale Spezifikation objektorienter Systeme
• ASM: Spezifikations- und Verifikationstechniken
• Verfeinerung und Modellierung mit B bzw. Z

Literatur

• Literatur wird bekanntgegeben.

Termine

• 27.05.03: Besprechung, 09:00 Uhr, 48-680
• 10.07.03: Besprechung, 13:00 Uhr, 48-680
• 14.07.03: Besprechung, 13:00 Uhr, 48-680