July 2001
Intermediate to advanced
656 pages
15h 51m
English
The makeNewSale system operation occurs when a cashier requests to start a new sale, after a customer has arrived with things to buy. The use case may have been sufficient to decide what was necessary, but for this case study we wrote contracts for all the system events, for explanation and completeness.
Contract CO1: makeNewSale
|
Our first design choice involves choosing the controller for the system operation message enterItem. By the Controller ...
Read now
Unlock full access