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