[Technical Faculty]

Semantik und Verifikation von OO


Seminar Wintersemester 1998/99
Vorbesprechung: Montag, 19. Okt 1998, Zimmer 324 13 ct, Haus II, Preußerstr. 1-9
Termin: Montags, 13:00 ct
Stundenzahl: 2

Inhalt

Objektorientierte Sprachen zeichnen sich oft durch moderne Sprachmerkmale und Strukturierungskonzepte aus. Der Erfolg derartiger Sprachen belegt, daß derartige Konzepte in der Praxis hilfreich sind. Das Seminar befaßt sich mit den formalen Grundlagen objektorientierter Sprachen, insbesondere mit unterschiedlichen Aspekten ihrer Semantik sowie der Verifikation. Das Seminar gibt zunächst eine Einführung in die Konzepte der Objektorientierung, behandelt dann für den sequentiellen wie den verteilten Fall die Semantik objektorientierter Sprachen und stellt abschließend verschiedene Ansätze zur Verifikation dar.

Hier die Verteilung der Vorträge:

Einführung (I)    Martin Steffen 7. Januar



Einführung (II)    Martin Steffen ??



UML    Sven Riesenberg 8. Januar



Generic Java     Jan Bernhardt 15. Januar



Zusicherungssytem    Carsten Fritz 22. Januar



Actors    Marcel Kyas 29. Januar



Literatur & Hintergrundinformation

Folgende Sammlung soll zur Anregung bei weitergehendem Interesse dienen. Einige der Bücher sind am Lehrstuhl vorhanden und können bei uns ausgeliehen werde.

Allgemeines

Semantik von OO

Semantik von Java

Sicherheit von Java

Erweiterungen von Java

Verifikation von OO

OO-Design

Concurrent OO

Sonstige Links

Anmeldung und Teilnahme

Wir bitten um rechtzeitige Anmeldung unter Angabe von Namen und Mailadresse. Jeder Teilnehmer hält einen Vortrag über das ausgewählte Thema. Es bietet sich an, Inhalt, Aufbau, Fachfragen etc. des Vortrages rechtzeitig vor dem Termin des Vortrags mit dem Betreuer durchzusprechen. Selbstverständlich kann man sich auch ansonsten bei Fragen zum Thema, für Hilfestellungen und Ähnlichem an uns wenden.

Sonstiges


Bei Fragen, email an ms@informatik.uni-kiel.de

Maintained by: Martin Steffen
Last modified: Dezember 1998