Aside from explicitly stating the invariant, will it also be necessary to explicitly state the preassertion/postassertion? In Bentley, it is hard to distinguish between what is are the assertions and the invariant.
How will points be distributed for the assignment, in other words, what necessary elements need to be there aside from a working, correct program?
|
Assertions are more important than program by Mike O'Donnell, 2000, Oct 23
to: