Seminar zur Vorlesung Methoden und Modelle des Systementwurfs
Zum Seminar
| Zeit: | Mi 9-11 |
|---|---|
| Ort: | RUD26, 1'303 |
| Dozent: | Daniela Weinberg |
Das Seminar kann sowohl für Theoretische Informatik als auch für Praktische Informatik angerechnet werden. Danach richtet sich dann auch der Vortrag und die Ausarbeitung.
Modulbeschreibung
| Inhalt: | In diesem Seminar vertiefen wir die in der Vorlesung "Methoden und Modelle des Systementwurfs" vorgestellten Methoden. Hierbei legen wir unseren Schwerpunkt auf gängige Werkzeuge und ziehen somit den Bogen von den in der Vorlesung gelehrten formalen Grundlagen zur Praxis. |
|---|---|
| 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: | Teilnahme am gleichlautenden Modul Methoden und Modelle des Systementwurfs (VL und UE) |
| Lehrveranstaltungen: | SE |
| SWS: | 2 |
| SP und Beschreibung der Arbeitsleistung, auf deren Grundlage die SP vergeben werden: | 2 SP: Vortrag im Seminar; Vorstellung einer Software zur Systemmodellierung |
| Voraussetzung für die Vergabe von Studienpunkten: | Bei Erhalt des Leistungsnachweises (Schein) werden Studienpunkte vergeben. |
| Prüfung (Prüfungsform, Umfang/Dauer, SP): | Eigenständige Ausarbeitung und Präsentation eines Seminarthemas |
| Häufigkeit des Angebots: | Jedes 4. Semester oder öfter |
| Dauer des Moduls: | 1 Semester |
Neuigkeiten
Ablauf
Was soll getan werden?
1. zum Thema ein oder mehrere Tools vorstellen
2. Beispiel ausdenken
3. Beispiel am Tool demonstrieren
3.3. Interaktion mit den anderen Studenten
4. Schriftliche Ausarbeitung, 6 Seiten zum Thema
Gruppenarbeit mit 2 Studenten
- Vortrag 90 Minuten, jeder Student trägt anteilig gleich lang vor
keine Gruppenarbeit
- Vortrag mindestens 45 Minuten
schriftliche Ausarbeitung
- Abgabe 2 Wochen (!) nach dem Vortragstermin
- schriftliche Ausarbeitung einzeln (!)
- 6 Seiten:
- Einführung ins Thema 1-2 Seiten (abhängig von Schein - Theoretische oder Praktische Informatik)
- Tools vorstellen (kurze Beschreibung)
- Bewertung der/ des vorgestellten Tools
Termine
| Termin | Thema | Vortragender/Gruppe | |
| 1 | 22.04.2009 | Themenvergabe | |
| 2 | 29.04.2009 | frei | |
| 3 | 06.05.2009 | CASL | |
| 4 | 13.05.2009 | Alloy | Yana Khrapkovskaya |
| 5 | 20.05.2009 | frei | |
| 6 | 27.05.2009 | Z | Robert Przewozny, Robert Müller |
| 7 | 03.06.2009 | MSC/LSC | Marcus Janke, Tobias Heine |
| 8 | 10.06.2009 | FOCUS | Daniel Warmuth, Clemens Schult |
| 9 | 17.06.2009 | ASM | Zheng Wang, Lukasz Wandcik |
| 10 | 24.06.2009 | Statecharts | Nadezhda Petrova, Safa'a Abujarour |
| 11 | 01.07.2009 | Petrinetze I | Alexander Boll, Kirill Yasinouskiy |
| 12 | 08.07.2009 | Petrinetze II | Sebastian Smogor, Yoanna Tonchovska |
| 13 | 15.07.2009 | TLA | Alexander Monbu, Zeno Endemann |
Theorie der Programmierung | Kontakt | zuletzt geändert am 05.10.2009 15:51