Vorlesung/ Modul: Methoden und Modelle des Systementwurfs
Aktuelles
24.7.2009: Klausurergebnisse
Klausureinsicht:
RUD 25, 4.410:
Montag 28.09.09, 15-16 Uhr
Dienstag 13.10.09, 15-16 Uhr
Zur Vorlesung
| Zeit: | Di 09-11, Mi 13-15 |
|---|---|
| Ort: | RUD 26, 1'306 (Di), RUD 26, 1'303 (Mi) |
| Dozent: | Prof. Dr. Wolfgang Reisig |
| Inhalt der VL: | siehe Modulbeschreibung |
| Prüfungstermin: | Mittwoch, 15.07.09, 15-19 Uhr, RUD25, 3.001 |
| Prüfungsanmeldung: |
bis spätestens 1. Juli 2009! Diplomstudenten Informatik: -> Online Masterstudenten Wirtschaftsinformatik: -> Anmeldeformular "Modulprüfung im Hauptstudium im Diplom-Studiengang Informatik Prüfungsordnung 2003" (rot oder oranges Formular) am Lehrstuhl Reisig abgeben. |
| Zulassung: | Zulassungsliste |
Übung
| Zeit | Raum | Leiter/Tutor | |
|---|---|---|---|
| Übung | Di 11-13 | RUD26, 1'306 | Prof. Dr. Wolfgang Reisig |
Vorlesungsbegleitend wird ein Seminar angeboten. Mehr zum Seminar...
Modulbeschreibung
| Inhalt: |
Für den Entwurf rechnerintegrierter Systeme werden unterschiedliche Methoden verwendet. Verbreitung und Akzeptanz einzelner Methoden wechseln häufig; gelegentlich werden neue vorgeschlagen. Die Vorlesung gibt einen Überblick über aktuelle Methoden, die sich in der Praxis bewährt haben und eine formale Grundlage besitzen. Derzeit gehören dazu Abstract Statemachines, ALLOY, B, CASL, FOCUS, Message Sequence Charts, Petrinetze, Prozessalgebren (mit dem Pi-Kalkül), Statecharts, TLA, VDM/VDL und Z. Entsprechende Softwarewerkzeuge werden im begleitenden Seminar "Methoden und Modelle des Systementwurfs" vorgestellt. |
|---|---|
| Qualifikationsziele: | Kenntnis der aktuell wichtigsten (formalen) Methoden des Systementwurfs und der abstakten Prinzipien hinter den Methoden. Die Studierenden erlangen die Fähigkeit jeweils neu propagierte Methoden einzuordnen, ihren tatsächlichen Nutzen unabhängig von firmenbezogener Propaganda abzuschätzen und neue Prinzipien, so weit es welche geben wird, zu verstehen. |
| ggf. Voraussetzungen für die Teilnahme am Modul: | Abschluss des Grundstudiums in Informatik oder vergleichbare Qualifikation |
| Lehrveranstaltungen: | VL + UE |
| SWS: | 4 + 2 |
| SP und Beschreibung der Arbeitsleistung, auf deren Grundlage die SP vergeben werden: | 8 SP: Vorlesung; betreute Übung; Selbststudium mit Unterstützung durch Übungen und die Verfügbarkeit aller Folien und der verwendeten Literatur. |
| Voraussetzung für die Vergabe von Studienpunkten: | Voraussetzung zur Prüfung ist das Bestehen der Übung. |
| Prüfung (Prüfungsform, Umfang/Dauer, SP): | Mündliche (30 Minuten) oder schriftliche Prüfung (180 Minuten). |
| Häufigkeit des Angebots: | Ca. jedes 4. Semester |
| Dauer des Moduls: | 1 Semester |
Material
Foliensätze
Theorie der Programmierung | Kontakt | zuletzt geändert am 05.10.2009 15:51