Praktikum zur Vorlesung Methoden und Modelle des Systementwurfs
Zum Praktikum
| Zeit: | Di 13-15 |
|---|---|
| Ort: | RUD26, 0'313 |
| Dozent: | Daniela Weinberg |
Die Teilname am Praktikum (mit Ausarbeitung und Präsentation eines Vortrages) zählt als Seminar!
Neuigkeiten
Ablauf
Es wird in einzeln bzw. in Gruppen (siehe unten) ein Thema aus der Vorlesung ausgearbeitet.
Hierbei soll ein (mindestens) 1 stündiger Vortrag erarbeitet werden, der folgenden Inhalt hat:
1. das Thema kurz vorstellen
2. zum Thema ein oder mehrere Tools vorstellen
3. Beispiel ausdenken
4. Beispiel am Tool demonstrieren
4.1 Interaktion mit den anderen Studenten
Der Vortrag ist dann an dem entsprechenden Termin zu halten.
Termine
| Termin | Tag | Thema | Vortragende(r) | |
| 23.10.2007 | Themenvergabe | |||
| 30.10.2007 | frei | |||
| 1 | 06.11.2007 | CASL | Johannes Starlinger, Andre Waloszek | |
| 2 | 13.11.2007 | Alloy | Hang Dinh Viet, Slavko Dzalto | |
| 3 | 20.11.2007 | Z | Joanna Rycko, Wael El-Hassan | |
| 4 | 27.11.2007 | ASM | Arvid Terzibaschian, Peter Ernst | |
| 04.12.2007 | frei | |||
| 5 | 11.12.2007 | MSC/LSC | Marc Bux, Richard Müller | |
| 6 | 18.12.2007 | CSP/CCS/Pi | Marcel Konnegan, Matthias Frenzel | |
| 7 | 08.01.2008 | Statecharts | Christoph Jacob, Jan Birkholz, Michael Berlin | |
| 8 | 15.01.2008 | Larch | Mariya Afanasyeva, Yana Khrapkovskaya | |
| 9 | 22.01.2008 | FOCUS | Benjamin Gehrels, Eric Tabot | |
| 10 | 29.01.2008 | TLA | Alexander Holz, Richard Koumbos | |
| 11 | 05.02.2008 | Petrinetze | Martin Znamirowski, Robert Prüfer, Annika Flemming |
Material
Folien und Links zu den Vorträgen
CASL
Alloy
Z
ASM
MSC/LSC
CSP/CCS/Pi
Statecharts
Larch
TLA
Petrinetze
Theorie der Programmierung | Kontakt | zuletzt geändert am 16.08.2009 13:05