Regelbasierte Systeme - Grundlagen und Werkzeuge

Termine: Montags 17-19 in MZH 7210 und Mittwoch 13-15 in MZH 7220
Beginn Montag, den 20. Oktober 2009 um 17:15 in MZH 7210
Kurs (Regelbasierte Systeme [03-05-H-604.52]) und Seminar Regelbasierte Sprachen und Werkzeuge [03-05-H-604.53] werden intern geblockt: In der ersten Semesterhälfte (bis kurz vor Weihnachten) werden beide Termine für den Kurs genutzt. Damit werden die Grundlagen für die im Seminar zu untersuchenden Sprache und Systeme vermittelt, und es bleibt Zeit für die Ausarbeitung der Seminarbeiträge. Danach werden in beiden Terminen Seminarvortäge zu konkreten Sprachen und Systemen gehalten.

In der Informatik dreht sich alles um das Spezifizieren, Modellieren, Konstruieren und Studieren von informationsverarbeitenden Systemen. Der Aufbau, die Zustände und das Verhalten solcher Systeme lassen sich mit Regeln axiomatisch beschreiben. Im Kurs Regelbasierte Systeme wollen wir die Grundlagen regelbasierter Systembeschreibungen studieren, und im Seminar Regelbasierte Sprachen und Werkzeuge Implementierungen solcher Systeme kennen lernen.

Voraussetzung: Die Veranstaltungen vertiefen Aspekte des Aufbaukurses Programmiersprachen, der zuletzt im Sommer 2008 gehalten wurde, ohne dessen gesamten Stoff vorauszusetzen. Kenntnis einiger Inhalte von Theoretische Informatik I und II wären hilfreich. Das Seminar kann nicht ohne den Kurs besucht werden.

Studienbegleitende Leistungsnachweise: Ein Schein über den Kurs Regelbasierte Systeme (3 Kreditpunkte) kann durch eine mündliche Prüfung erworben werden. Zwei Scheine, für den Kurs und das Seminar Regelbasierte Sprachen und Werkzeuge (3+4 Kreditpunkte) kann erhalten, wer über ein regelbasiertes Werkzeug vorträgt und dies bis zum Ende des Semesters schriftlich ausarbeitet, wobei der Stoff des Kurses mit berücksichtigt werden soll.

Material zu Kurs und Seminar

• Kurs: Inhalt, Texte und Ankündigung.
• Hinweise auf Sprachen und Werkzeuge, die im Seminar behandelt werden könnten.
• Weiterführende Literatur.
• Der Ablaufplan von Kurs und Seminar, die Präsentationen und Ausarbeitungen zu den Seminarthemen und die Liste der TeilnehmerInnen werden in stud.ip verwaltet. (Unter Regelbasierte Systeme)