Spezifikationstechniken

Vorlesung im Herbsttrimester 2000 an der UniBw München

Dr. Wolfram Kahl

 

 

Scheinerwerb

  • Klausur ohne Hilfsmittel, 17. Januar, 13:00 Uhr bis 15:00 Uhr, Komplexraum 2210A, Geb.35
    (Z-Glossar (.pdf) und die CASL-Spezifikation List_with_Order (.pdf) werden ausgeteilt)

Vorlesungsfolien

Alle Vorlesungsfolien in einer Datei: -2up.ps, -2up.pdf, -4up.ps, -4up.pdf

Vorlesungsdatum Dateien Thema
9. Oktober .ps, .pdf Einführung, Erste Schritte in Z
16. Oktober .ps, .pdf Schemakalkül
23. Oktober .ps, .pdf Schematypen, ``Promotion'', Z-Fallstudie
30. Oktober .ps, .pdf Z: Verfeinerung
6. November .ps, .pdf Algebraische Spezifikationen: Grundlagen
13. November .ps, .pdf Algebraische Spezifikationen: Initiale Modelle
20. November .ps, .pdf Algebraische Spezifikationen: Strukturierung
27. November .ps, .pdf Alg. Spez.: Verfeinerung, Temporale Logik: Einführung
4. Dezember .ps, .pdf Temporale Logik: Vergangenheit, verzweigende Zeit, CTL, SMV
11. Dezember .ps, .pdf Modelchecking Algorithmen, Tableau-Erfüllbarkeitstest, BDDs
18. Dezember .ps, .pdf KIV

 

Übungsblätter

 

Alle Übungsblätter in einer Datei: .ps, .pdf, -2up.ps, -2up.pdf

Literatur

 




Links