Ziele:
Operationen und Axiome entwerfen
in der Vorlesung:
Schritte zur Erweiterung der Spezifikation zeigen
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.3
Verständnisfragen:
Erweitern Sie die Spezifikation um eine Operation,
die 2 Elemente einfügt.
|