Seminar Systementwurf

Gute Methoden zum Entwurf und zur Verifikation von Systemen sind ein Schlüssel für gute Software. Dieses Seminar betrachtet moderne Entwurfsmethoden, insbesondere "Abstract State Machines".

Aktuell

Dozent

• Prof. Dr. Wolfgang Reisig

Telefon:	+49-30-2093-3065 (Sekretariat)
	+49-30-2093-3065 (Büro)
Raum:	RUD 25, 4.416
E-Mail:	reisig @ informatik.hu-berlin.de

• Vertretung: Andreas Glausch

Telefon:	+49-30-2093-3068
Raum:	RUD 25, 4.411
E-Mail:	glausch @ informatik.hu-berlin.de

Termin

Der erste Seminartermin ist Donnerstag, der 20. Oktober 2005.

Material

• Wolfgang Reisig. Wie hält man einen guten Vortrag?
• Ian Parberry. How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students

Ablauf

Das Seminar ist für 14 Teilnehmer geplant. Jeder Teilnehmer bearbeitet ein Thema und hält dazu zwei 30-minütige Vorträge an zwei verschiedenen Terminen. Die Aufteilung der Themen in zwei Teilvorträge erfolg selbständig. Am ersten Termin werden die Themen verteilt. Der zweite Termin fällt zugunsten der Vorbereitung aus.

Themen

1. Modellierung verteilter Systeme

   1. Gamma, Chemical Abstract Machine (Magdalena Soyka)

   2. Petrinetze (Manuel Hertlein - Teil 1 , Teil 2 )

   3. Prozessalgebren (CCS, CSP) (Tim Michaelis - Teil 1 , Teil 2 )

   4. Message Sequence Charts, Live Sequence Charts (Evgenyia Ershova - Teil 1 , Teil 2 )

   5. Trace Theory

   6. Linda (Robert Wolff - Teil 1 , Teil 2 )

2. Algebraische Spezifikationen & Co.

   1. Hoare-Logik (Genevieve Grunert - Teil 1 , Teil 2 )

   2. Z, VDM (Michael Hildebrandt - Teil 1 , Teil 2 , Spezifikation )

   3. Algebraische Spezifikation (Andre Kiessling - Teil 1 , Teil 2 )

   4. CASL (Magdalena Soyka Teil 1 )

3. Abstract State Machines

   1. ASM-Grundlagen (Patrick Köhnen Foliensatz )

   2. ASM-Varianten (Martin Schulze)

   3. Verfeinerung von ASMs

   4. AsmL (Mike Herzog Foliensatz )

Termine