Modellierung WS 2010/11 - Folie 322

Ziele:
Operationen und Axiome entwerfen
in der Vorlesung:
Schritte zur Erweiterung der Spezifikation zeigen
Verständnisfragen:
Erweitern Sie die Spezifikation um eine Operation,
die 2 Elemente einfügt.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010