Hauptseminar Spezifikations- und Verifikationstechniken für die Software-Entwicklung
Themen und Vorträge
Teilnehmer | Thema | Vortragsfolien | Ausarbeitung | |
---|---|---|---|---|
Philipp Becker | OCL und ihre Formalisierung | Becker.ps.gz | ||
Jens Brandt | Temporale Spezifikation objektorientierter Systeme | tempspec_oo.pdf | ||
Rüdiger Grammes | Spezifikation und Verfeinerung mit ASMs | asm_spec_ref.pdf | ||
Thomas Türk |