Next / Previous / Contents / Shipman's homepage

7. Standards for the review of intended functions

A properly constructed intended function must describe exactly everything the code is to do, no more, and no less.

Additionally, there are a number of tests of correctness that you (as the author of the code) and reviewers must apply to your intended functions.