This flashcard is just one of a free flashcard set. See all flashcards!
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.