Seminar: Formale Spezifikation

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, 17.10, 15:30-16:15, in S2-02-E302

Form: Blockseminar, Termin: Mo.-Di., 26.11.-27.11.2007, in S2-02-E302

Kontakt: Bei Fragen bitte an Alexander Lux (oder ab 13.10.2007 an Dieter Schuster) wenden.

Thema:
Eine Spezifikation beschreibt, was ein System macht/machen soll, aber nicht wie. Drei wichtige Eigenschaften von von Spezifikationen sind Eindeutigkeit, Vollständigkeit und Widerspruchsfreiheit. Durch inhärente Unschärfen und Mehrdeutigkeiten der natürlichen Sprache erfüllen natürlichsprachliche Spezifikationen kaum diese Eigenschaften. Spezifikationen mit formalen Sprachen erlauben dagegen die Anwendung mathematisch-rigoroser Methoden um zum Beispiel Eigenschaften der Spezifikation selbst oder die Korrektheit einer Implementierungen gegenüber einer Spezifikation formal zu beweisen.

In dem Seminar werden 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