- 1
- Ein oft geh"ortes Symptom einer
unrealistischen Lageeinsch"atzung geht ungef"ahr so: ``Wir sind die
letzten drei Wochen nicht viel weiter gekommen, aber das ist kein
Problem, denn von nun an werden wir dreimal so schnell arbeiten.''
- 2
- Es gibt Ausnahmen von der letzten Regel, n"amlich f"ur
die (Snot-)Typen in den Ausdr"ucken. Die Typen sind nicht mit in die
Konstrutoren mit aufgenommen. Die entsprechenden Felder werden
nachtr"aglich eingetragen.
- 3
- Nicht-Interleaving wäre, wenn
mehrere gleichzeitig Wertzuweisungen und t-Aktionen machen
könnten.
- 4
- Falls es ``grundsätzlich'' keinen
Kommunikationspartner gibt, wird anngenommen, daß Kommunikation mit der
Umgebung gemeint ist. Das ist für den Simulator von Bedeutung,
bei dem der Benutzer die Rolle der Umgebung spielen kann. Siehe die
Diskussion dort.