Vorlesung/ Modul: Methoden und Modelle des Systementwurfs
Zur Vorlesung
| Zeit: | Di, Do je 09-11 |
|---|---|
| Ort: | jeweils RUD26, 0'313 |
| Dozent: | Prof. Dr. Wolfgang Reisig |
| Inhalt der VL: | siehe Modulbeschreibung |
Klausur
| Termin: | 11.03.08 (Dienstag), RUD 25, 3.001 (09-13 Uhr) |
|---|---|
| Prüfungsanmeldung: |
Die Anmeldung erfolgt für die Diplom-Studis PO 2003 online über HU-QIS. Die Diplom-Studis nach PO 95, alle (eventuellen) Nebenfächler und auch die Wirtschaftsinformatiker müssen sich mit einem Prüfungsanmeldungsformular bei Frau Heene (IV.417) anmelden. Anmeldung bis: 25.02.08 Abmeldung bis: 06.03.08 |
| Zugelassene Studenten: | zugelassen.pdf |
| Ergebnis: | noten.pdf |
| Klausureinsicht: | 15. April 2008 (Dienstag), 9 - 11 Uhr, RUD 25 Raum 4.410 |
Übung und Praktikum
| Zeit | Raum | Leiter/Tutor | |
|---|---|---|---|
| Übung | Di 11-13 | RUD26, 0'313 | Prof. Dr. Wolfgang Reisig |
| Praktikum | Di 13-15 | RUD26, 0'313 | Daniela Weinberg |
Die Teilname am Praktikum zählt als Seminar! Mehr zum Praktikum...
Modulbeschreibung
| Voraussetzungen für die Teilnahme: | Abschluss des Grundstudiums in Informatik oder vergleichbare Qualifikation |
|---|---|
| Inhalt der Vorlesung: |
Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden (ALLOY, ASM, CASL, CSP/CCS/PI, FOCUS, LARCH, MSC/LSC, Petrinetze, Statecharts, TLA, Z) und Analysetechniken (Invarianten, Model Checking, Refinement Calculus) werden in der industriellen Praxis verwendet. Eine Übung und ein Praktikum ergänzen die Vorlesung. |
| 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. |
| Zuordnung: | Hauptstudium, Praktische Informatik/ Theoretische Informatik |
| Dauer: | ein Semester |
| Lehrveranstaltungen: |
- Vorlesung (4 SWS) - betreute Übung (2 SWS) - begleitendes Praktikum (2 SWS) |
| Studienpunkte: | 10 |
| erforderliche Arbeitsleistung: | Besuch der Vorlesung, Selbststudium mit Unterstützung durch Übungen und Praktika, die zur Verfügung gestellten Folien und verwendete Literatur |
| Voraussetzung für Vergabe der SP: | Bestehen der Prüfung |
| Prüfung: | in Form einer Klausur am 11. März 2008 (Dienstag) |
Neuigkeiten
22.02.2008: Update der Folien zu Kapitel 5
Material
Foliensätze
Theorie der Programmierung | Kontakt | zuletzt geändert am 13.08.2008 12:35