B$.$ For the A Video Store problem in Chapters $4($exercises

L$,$ M$,$ N K$),5($exercises R and S$),6($exercise E$),$ and $7$

$($exercise B$)$:

$1.$ Choose one of the classes and create a set of invariants for attributes and relationships and add them to

the CRC card for the class.

$2.$ Choose one of the methods in the class that you

chose and create a contract and a method specifi cation for it$.$ Use OCL to specify any pre$-$ or

postcondition and use both Structured English and

an activity diagram to specify the algorithm.

C$.$ For the gym membership problem in Chapters $4$

$($exercises O$,$ P$,$ and Q$),5($exercises T and U$),6$

$($exercise F$),$ and $7($exercise C$)$:

$1.$ Choose one of the classes and create a set of invariants for attributes and relationships and add them to

the CRC card for the class.

$2.$ Choose one of the methods in the class that you

chose and create a contract and a method specification for it$.$ Use OCL to specify any pre$-$ or

postcondition and use both Structured English

and an activity diagram to specify the algorithm.

D$.$ For the Picnics R Us problem in Chapters $4($exercises R$,$

S$,$ and T$),5($exercises V and W$),6($exercise G$),$ and $7$

$($exercise D$)$:

$1.$ Choose one of the classes and create a set of invariants for attributes and relationships and add them to

the CRC card for the class.

$2.$ Choose one of the methods in the class that you

chose and create a contract and a method specifi $-$

cation for it$.$ Use OCL to specify any pre$-$ or postcondition and use both Structured English and an

activity diagram to specify the algorithm.

E$.$ For the Of$-$the$-$Month$-$Club problem in Chapters $4$

$($exercises U$,$ V$,$ and W$),5($exercises X and Y$),6$

$($exercise H$),$ and $7($exercise E$)$:

$1.$ Choose one of the classes and create a set of invariants for attributes and relationships and add them to

the CRC card for the class.

$2.$ Choose one of the methods in the class that you chose

and create a contract and a method specifi cation for

it$.$ Use OCL to specify any pre$-$ or postcondition and

use both Structured English and an activity diagram

to specify the algorithm