Quote: assertions define the contract between caller and called routines

Quotation Skeleton

The mechanism for expressing such conditions [between caller and called routine] are called assertions. Some assertions, called preconditions and postconditions, apply …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: class invariants apply to all routines, while pre- and post-conditions apply to individual routines

Related Topics

Topic: requirement specification by assertion (28 items)