|
| 2000
| SILICON
| Entwicklung eines Lichtkontrollsystems anhand eines 1:12 Modells
|
|
| 1999
| ATM
| Reengineering eines ATM-Signalisierungsprotokolls mit SDL-Patterns
|
|
| 1999
| LC-JUCS
| FOREST-Problemspezifikation einer Lichtsteuerung für das J.UCS Special Issue
|
|
| 1999
| LC-DAG
| FOREST-Problemspezifikation einer Lichtsteuerung für das Dagstuhl-Seminar
|
|
| 1999
| LTC-B
| Variante von LTC-A für ein Praktikum
|
|
| 1998
| LTC-A
| FOREST-Problemspezifikation für ein Licht- und Temperaturkontrollsystem
|
|
| 1998
| RTP
| Reengineering von RTP mit SDL-Patterns
|
|
| 1997/98
| IPv6
| Reengineering von IPv6 mit SDL-Patterns
|
|
| 1997/98
| CAN
| Entwicklung eines Kommunikationssubsystems für CAN mit SDL-Patterns
|
|
| 1998
| ST2+
| Reengineering von ST2+ mit SDL-Patterns
|
|
| 1996/97
| Inverses Pendel
| Verteilte Simulation und Visualisierung eines inversen Pendels
|
|
| 1996
| Temperatursteuerung
| Musterbasierte Spezifikation einer Anforderungsspezifikation
|
|
| 1996
| Fenstersteuerung
| Maßschneiderung eines Protokolls in SDL für zwei Dienste in TL
|
|
