Ziel der Lehrveranstaltung ist es, den Studierenden die wichtigsten formalen Spezifikationsmethoden zu vermitteln und sie zu befähigen, mit diesen Methoden mehrdeutige umgangssprachlich beschriebene Sachverhalte zu modellieren. Weiters lernen sie die formal-mathematischen Beschreibungen dieser Methoden zu lesen und zu verstehen, sodass sie selbständig ihr Wissen an Hand von Fachliteratur vertiefen können.
Aussagenlogik, endliche Automaten, reguläre Ausdrücke, formale Grammatiken, Petri-Netze, Prädikatenlogik als Spezifikationssprache.
Die Vermittlung dieser Inhalte erfolgt durch einen Vorlesungsteil und durch selbständig zu lösende Übungsaufgaben. Die Beurteilung setzt sich aus der Bewertung dieser Aufgaben, aus zwei Abgabegespräche und aus einem schriftlichen Abschlusstest zusammen.
15 h Vorlesungsbesuch (5x3h) 5 h Vor- und Nachbereitung Vorlesung (5x1h) 1 h Verpflichtender Eingangstest in TUWEL20 h Übungsbeispiele (2 Blätter x 10 Beispiele x 1h) 6 h Vorbereitung auf die Abgabegespräche (2x3h) 2 h Abgabegespräche (2x1h)24 h Vorbereitung auf Abschlusstest (3 Tage x 8h) 2 h Abschlusstest----------------------------------------------------75 h = 3 Ects
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. 50 Punkte) erbracht werden. Insgesamt können somit 2*5+2*10+50=80 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 25 Punkte beim Abschlusstest und eine Gesamtpunkteanzahl von mindestens 40 notwendig. Positive Noten ergeben sich aus der Gesamtpunktezahl nach folgendem Schlüssel:
