Entwicklung Benutzergesteuerter Eingebetteter Systeme (Vertiefungskurs)
VKZ: 03-05-H-705.52

Hui Shi

Kursbeschreibung

Dieser Kurs beschäftigt sich mit drei Themen zu "Benutzergesteuerte Eingebettete Systeme".

  1. Interaktion zwischen Benutzer und Computer in benutzergesteuerten Systemen
  2. Gemeinsame Steuerung eingebetteter Systeme von Benutzer und Computer
  3. Formale Methoden zur Modellierung beutzergesteuerter eingebetteter Systeme
Die Formale Methode CSP - Communicating Sequential Processes - wird im Kurs eingeführt und für die Modellierung verwendet.

Termine

Vorlesung Di. 8-10, MZH 7230
Übung Di. 13-15, MZH 6240

Folien

  1. Organisatorishes (25.04.2006)
  2. Benutzergesteuerte Eingebettete Systeme (02.05.2006)
  3. Formale Methode CSP: Motivation (09.05.2006)
  4. CSP Syntax (16.05.2006)
  5. CSP Semantiken (23.05.2006 und 30.05.2006)
  6. CSPSim und Kognitive Modelle (06.06.2006)
  7. Modellierung der Dialoge (20.06.2006)
  8. Modelle Interaktiver Systeme (27.06.2006)
  9. Entwicklungsprozess (11.07.2006 und 18.07.2006)

Übungen

  1. Übung1 (Ausgabe: 09.05.2006, Abgabe: 30.05.06)
  2. Übung2 (Ausgabe: 30.05.2006, Abgabe: 20.06.06)
  3. Übung2 (Ausgabe: 20.06.2006, Abgabe: 11.07.06)