July 2001
Intermediate to advanced
656 pages
15h 51m
English
Contract CO1: makeNewSale
|
Note the vague description in the last post-condition. If sufficient, this is fine.
On a project, all these particular postconditions are so obvious from the use case that the makeNewSale contract should probably not be written.
Recall one of the guiding principles of healthy process and the UP: Keep it as light as possible, and avoid all artifacts unless they really add value.
Contract CO2: enterItem
|
Read now
Unlock full access