Make your own free website on Tripod.com
SLIDE 12

Specification

Example: specification of stacks

Preconditions:
properties of the inputs assumed by an operation.
Postconditions:
the effects of a operation.

Operations: it is useful to distinguish between operations that...