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.

Aufwandsabschätzung

16.5 h Vorlesungsbesuch (11 Tage x 1.5h)
10.5 h 1.Übungsblatt (15 Beispiele x 0.7h)
 0.5 h 1.Tutorengespräch
 8.0 h Vorbereitung auf 1.Abgabegespräch(1 Tag x 8h)
 1.0 h 1.Abgabegespräch
10.5 h 2.Übungsblatt (15 Beispiele x 0.7h)
 0.5 h 2.Tutorengespräch
 8.0 h Vorbereitung auf 2.Abgabegespräch (1 Tag x 8h)
 1.0 h 2.Abgabegespräch
16.0 h Vorbereitung auf Abschlusstest (2 Tage x 8h)
 1.5 h Abschlusstest
-------------------------------------------------
74.0 h = ca. 3 Ects

Beurteilung

Die Gesamtbeurteilung ergibt sich aus den Leistungen, die bei zwei Übungsblättern (jeweils max. 5 Punkte), zwei 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. 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:

• 40-49 Punkte: genügend (4)
• 50-59 Punkte: befriedigend (3)
• 60-69 Punkte: gut (2)
• 70-80 Punkte: sehr gut (1)

Zur Absolvierung des Abschlusstests werden vier Möglichkeiten geboten: Juni, Mitte September, Jänner, Februar (die genauen Termine entnehmen Sie bitte dem Abschnitt Prüfungen). Es können maximal zwei der vier Termine genutzt werden, wobei das bessere Ergebnis zählt. Ein Zeugnis wird ausgestellt, sobald die Gesamtbeurteilung positiv ist, der Abschlusstest zum zweiten Mal absolviert wurde oder der vierte Termin verstrichen ist.

Um an dieser Lehrveranstaltung teilnehmen zu können, sind folgende Schritte erforderlich.

• Inskription in der Studienabteilung
• Absolvierung eines Studieneingangsgesprächs (Anmeldung bis 3.03.2014, besser früher)
• Anmeldung zur Lehrveranstaltung über TISS zwischen 24.02. und 14.03.2014 (nur möglich nach Inskription und Absolvierung des Studieneingangsgesprächs, mit einer Verzögerung von 1-2 Werktagen)
• Abgabe des gelösten ersten Übungsblattes über TUWEL mit einer Bewertung von mindestens 1 von 5 Punkten; Termine werden Anfang Oktober bekannt gegeben.