Spezifikationstechniken
Vorlesung im Wintertrimester 1999 an der UniBw München
Dr. Wolfram Kahl
Neuere Vorlesung: Spezifikationstechniken - HT 1999
Termine:
- Vorlesung: Di 16:00--17:30, Geb. 33, HS 3201
- Übung: Mo 13:00--13:45, Geb. 33, HS 1413
Übungsblätter
- Blatt 1 (PostScript, PDF) --- Lösungsvorschlag: PostScript, PDF
- Blatt 2 (PostScript, PDF) --- Lösungsvorschlag (Sandro Herpich, Patrick Jungkunz, Nane Kratzke, Peter Schrammel): PostScript, PDF
- Blatt 3 (PostScript, PDF)
- Blatt 4 (PostScript, PDF)
- Blatt 5 (PostScript, PDF)
- Blatt 6 (PostScript, PDF)
- Blatt 7 (PostScript, PDF)
- Blatt 8 (PostScript, PDF)
- Blatt 9 (PostScript, PDF) --- Zu Aufgabe 21:
gui.ltx,ztc.sty,oz.sty(für LaTeX2e) - Blatt 10 (PostScript, PDF)
Links
- Maude (
http://maude.csl.sri.com/): locally mirrored binary distributions:maude-linux.tar.gz,maude-solaris.tar.gz - Z: