Organisator: Prof. Dr. Heiko Mantel
Registrierung: Registrierungen nimmt Elisabeth Kraft entgegen. Falls Sie sie nicht antreffen sollten, wenden Sie sich bitte an Alexander Lux im Büro nebenan (S2-02-E317).
Literatur: Wird in der Vorbesprechung bekanntgegeben
Vorbesprechung: Mittwoch, 15.10, 14:30-15:30, in S2-02-E302
Form: Blockseminar, Termin: 01.12.2008 - 02.12.2008
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.