Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
94
92. Wie sehen Oberflächensignatur und Tiefensignatur in einer Z-Spezifikation aus?
* Die Oberflächensignatur steht im
o Deklarationsteil des Operationsschemas.
* Die Tiefensignatur (Semantik) umfasst zusätzlich den
o Bedingungsteil des Schemas.
o Deklarationsteil des Operationsschemas.
* Die Tiefensignatur (Semantik) umfasst zusätzlich den
o Bedingungsteil des Schemas.