next up previous
Next: Conclusions Up: Conditions Previous: Conditions

Related Patterns

Prefer extensions to conditions. Pre- and post-conditions should match in a complete model.


Robert Biddle
Sun May 20 12:25:54 NZST 2001