[Sq10] Ankuendigung f. Don. 20.01.

[Elke Pulvermueller]

Hallo an die SQ-Teilnehmenden,

in der Vorlesungsstunde am Donnerstag 20.01. (wie immer ab 12:00 st) wird
Herr Christian Ammann etwas zum Thema

    "Verifikation von UML Diagrammen am Beispiel
     von UML-Statecharts mit dem Model Checker Spin"

vortragen.

Zur Zeit promoviert Herr Ammann in einem Gemeinschaftsprojekt zwischen
Fachhochschule und Universitaet in diesem Themengebiet.
Er kann dadurch z.B. einen interessanten Einblick in eine Anwendungsmoeglichkeit
fuer die Modellpruefung mit einem konkreten und sehr bekannten Werkzeug (Spin)
geben.

Viele Gruesse,
Elke Pulvermueller