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 |
