Recursion Semantics (cont’d)
Pro: a simple header states the limit of the action
Con: it is very difficult to specify the recursion behavior of all functions
Recommended solution: move the specification of the Depth header and recursion semantics to a separate specification
- allows the main specification to continue without being held back by quibbling over definition of recursion semantics
- Saveen Reddy, Microsoft, has volunteered to be document editor