Homepage>Lehre> Hauptseminar Spezifikations- und Verifikationstechniken für die Software-Entwicklung
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 | [[][]] | [[][]] |
 |