Seminar: Formale Spezifikation

Organisator:	Prof. Heiko Mantel
Registrierung:	Bitte registrieren Sie sich bei Frau Kraft (möglichst bis zum 18.10.2010).
Literatur:	wird in der Vorbesprechung bekanntgegeben
Vorbesprechung:	Donnerstag, 21. Oktober 2010, 16:30 Uhr in S2|02, Raum E202
Form:	Blockseminar am 2./3. Dezember 2010

Thema

Durch eine Spezifikation kann beschrieben werden, welche Eigenschaften ein System hat oder haben sollte. Von Interesse sind hierbei vor allem funktionale Eigenschaften wie das Ein-/Ausgabeverhalten, das zeitliche Verhalten, die Toleranz gegenüber Störungen und Aspekte der IT Sicherheit. Verwendet man formale Sprachen zur Spezifikation anstatt natürlicher Sprachen, so wird es möglich Spezifikationen mit rigorosen, mathematischen Methoden zu analysieren. So kann z.B. nachgewiesen werden, dass eine Implementierung bezüglich der gegebenen Spezifikation korrekt ist oder dass die Spezifikation gewisse Metaeigenschaften erfüllt. Wünschenswerte Metaeigenschaften von Spezifikationen sind z.B. Widerspruchsfreiheit, Eindeutigkeit und Adäquatheit, wobei sich letztere nur informell nachweisen lässt.

Im Seminar werden Ansätze, Techniken und Werkzeuge für formale Spezifikationen anhand von aktuellen Forschungsartikeln behandelt (Link ins Modulhandbuch).

Das Seminar kann gemeinsam mit dem "Modellierungspraktikum" im gleichen Semester besucht werden. Es ist aber auch möglich und ebenso sinnvoll, am Seminar teilzunehmen, ohne das Praktikum zu belegen

Interner Bereich

Last modified on 22 October 2012.