Lehrveranstaltung WS2005/06
620.051 KV Spezifikation und Verifikation (Bollin)
Donnerstag, 12:00 - 14:00, HS 8
620.052 KV Spezifikation und Verifikation (Wakounig)
Mittwoch, 12:00 - 14:00, E.1.42
|
Aktuelles:
- Herzlich Willkommen zur Lehrveranstaltung. Auf dieser Seiten finden sie
(soweit möglich) aktuelle Informationen rund um die Lehrveranstaltungen (Bollin und
Wakounig)!
- Um Ihnen das Arbeiten zu erleichter, haben wir ein weiteres Tool organisiert.
Es ist ein (freies Sourceforge) Plugin names "Community Z Tool" und ist in vorcompilierter
Form verfügbar. Der Download-Link ist weiter unten zu finden.
- Wie im letzen Jahr gibt es eine enge Kopplung zwischen
Vorlesung und Übung - was bedeutet, dass wieder Z gemacht wird. Für Z gibt es
ein noch mächtigeres Toolkit (CadiZ), welches leider NUR für Linux verfügbar ist.
Näheres dann in der ersten Stunde.
|
|
|
Aufgabenstellungen:
- Sämtliche Aufgaben und Termine finden Sie
ab Semesterbeginn hier
in Form einer PDF Datei.
|
Diverses:
- JEdit4.2 und das CZT Plugin finden Sie hier in bereits compilierter Form.
Beachten Sie bitte das Copyright der jeweiligen Tools:
- CadiZ Software (Manuals, Tips, ...) finden Sie auf der
CadiZ Homepage:
unter http://www-users.cs.york.ac.uk/~ian/cadiz/.
|
| |