Modellierung WS 2011/12 - Folie 468

Ziele:
Entwicklung eines vollständigen Beispiels
in der Vorlesung:
Erläuterung der einzelnen Schritte.
In der Datei
verifikation.pdf
findet man die schrittweise Entwicklung des Inhaltes der Folie.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 01.12.2011