Vortragsthemen

1.

Kurze Einführung in PROLOG.
Material: Webseite

2.

Beispielprogramme für Prolog
Material [Robertson & Agusti, 1999, Chapter 3].

3.

Diagramme zur Systemspezifikation. Es werden entity relationship und BSDM (Business System Development Method (IBM)) Diagramme betrachtet.
Material [Robertson & Agusti, 1999, Chapter 4].

4.

(a)

Vom Modell zur HTML-Seite
Material [Robertson & Agusti, 1999, Section 5.1]. Als Hintergrundmaterial

(b)

Parametrisierte Komponenten
Material [Robertson & Agusti, 1999, Section 5.3]

5.

Entwurfsprozesse und formale Methoden
Material [Robertson & Agusti, 1999, Chapter 6]

6.

Temporales Schließen
Material [Robertson & Agusti, 1999, Chapter 8]

7.

Das KeY-System
Material Webseite

8.

(Bedarfsthema) Anforderungsanalyse
Material [Robertson & Agusti, 1999, Chapter 2]

Anmeldung im Sekretariat bei Frau Heck,
Tel. 608-3919, E-mail heck@mail.informatik.kit.edu