Vorlesung Modellierung WS 2001/2002 - Folie Nr. 230

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 230-234 als PDF

Ziele:
Axiome spezifizieren Eigenschaften

in der Vorlesung:

  • Die drei Beispiele erläutern
  • Über Keller nachdenken, ohne sie zu implementieren

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.3