Spezifikationstechniken

Spezifikationstechniken

Vorlesung im Herbsttrimester 2001 an der UniBw München

Dr. Wolfram Kahl

Scheinerwerb

  • Klausur ohne Hilfsmittel am 18.12.2001, Gebäude 33, Raum 1101, 15.00 - 16.00 Uhr.
    (Z-Glossar und die CASL-Spezifikation List_with_Order (.pdf) werden ausgeteilt.)

Termine

  • Vorlesung: Do. 13:15-15:00 Uhr, HS 3101
  • Übung: Di. 15:00-15:45 Uhr, HS 1101

Vorlesungsfolien

Vorlesungsdatum 2-up 4-up Thema
HT 2001 ps, pdf ps, pdf Gesamtausgabe
4. Oktober ps, pdf ps, pdf Einführung, Erste Schritte in Z
11. Oktober ps, pdf ps, pdf Schemakalkül
23. Oktober ps, pdf ps, pdf Framing und Promotion
25. Oktober ps, pdf ps, pdf Z - Verfeinerung
6./8. November ps, pdf ps, pdf Algebraische Spezifikationen - Grundlagen
15. November ps, pdf ps, pdf Algebraische Spezifikationen - Beziehungen zwischen Modellen
22. November ps, pdf ps, pdf Strukturierte Algebraische Spezifikationen
29. November ps, pdf ps, pdf Temporale Aussagenlogik linearer Zeit
6. Dezember ps, pdf ps, pdf Temporale Aussagenlogik verzweigender Zeit, CTL Modelchecking
13. Dezember ps, pdf ps, pdf Modelchecking Algorithmen, Erfüllbarkeitstest für CTL

Übungsblätter

Literatur

Links


Get Ghostscript (ps-Viewer)              Get Acrobat Reader (pdf-Viewer)