The aim of the course is to get the students to know the most relevant methods for formal specification, and to enable them to model real-world situations in a formal manner on the basis of ambigous natural language descriptions. Moreover the students learn to read and understand the formal-mathematical characterisations of these methods such that they can extend their knowledge by specialised literature on their own.
Propositional logic, finite automata, regular expressions, formal grammars, Petri nets, predicate logic as specification language.
The course consists of a lecture part and an exercise part. The final grade is determined by grading the exercises, two oral exams, and a final written test.
Um an der Lehrveranstaltung teilnehmen zu können und beurteilt zu werden, sind zunächst folgende Schritte erforderlich.
Erst wenn Sie den Eingangstest erfolgreich absolviert haben, wird Ihre Anmeldung in TISS bestätigt, andernfalls werden Sie automatisch von der Lehrveranstaltung abgemeldet. Sobald Sie den Eingangstest absolviert haben und somit zur Lehrveranstaltung Formale Modellierung angemeldet sind, wird nach Ende der Lehrveranstaltung ein Zeugnis ausgestellt!
Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei 2 Übungsblättern (jeweils max. 5 Punkte), bei 2 Abgabegesprächen (jeweils max. 10 Punkte) sowie beim schriftlichen Abschlusstest (max. 70 Punkte) erbracht werden. Insgesamt können somit 2*5+2*10+70=100 Punkte erzielt werden. Die Teilnahme am Abschlusstest ist nur möglich, wenn bei jedem der Übungsblätter und Abgabegespräche mindestens ein Punkt erzielt wurde. Für eine positive Gesamtbeurteilung sind mindestens 35 Punkte beim Abschlusstest und eine Gesamtpunkteanzahl von mindestens 50 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel: