Nachbedingung

Semantik: funktionale Eigenschaften in der Außensicht, z.B. Vor- und Nachbedingungen

Semantics: functional properties in the external perspective, eg pre-and postconditions