Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
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.
