Design
Each team member should pick one method (doesn't have to be one you wrote, but should be different from one chosen by other team members). For this method write a complete contract as we discussed in class: signature, pre and post conditions, invariants (if any) and framing conditions.
Design Each team member should pick one method (doesn't have to be one you wrote, but should be different from one chosen by other team members). For this method write a complete contract as we discussed in class: signature, pre and post conditions, invariants (if any) and framing conditions.