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