Seminar: Formale Spezifikation

Organisator: Prof. Dr. Heiko Mantel

Registrierung: Ab dem 24. August ist eine Registrierung für das Seminar im Sekretariat des Fachgebiets bei Frau Kraft möglich (Sprechzeiten Frau Kraft).

Literatur: Wird in der Vorbesprechung bekanntgegeben

Vorbesprechung: Donnerstag, 15. Oktober 2009, 13:30 Uhr in S2/02 E302.

Form: Blockseminar, Termin: 30.11.2009 - 01.12.2009

Kontakt: Bei Fragen bitte an Alexander Lux wenden.

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.

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.

Interne Seite

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang