This flashcard is just one of a free flashcard set. See all flashcards!
76
74. Wie spezifiert man eine Klasse?
* Eine Klasse lässt sich
o natürlichsprachlich oder
o formal mit Object Z spezifizieren.
* Dem Konstruktor der Klasse entspricht in Object Z dem initialem Zustandsschema,
* die Methoden der Klasse werden durch die Operationsschemata festgelegt.
o natürlichsprachlich oder
o formal mit Object Z spezifizieren.
* Dem Konstruktor der Klasse entspricht in Object Z dem initialem Zustandsschema,
* die Methoden der Klasse werden durch die Operationsschemata festgelegt.
