This chapter discusses
nAn elaboration of precondition and postcondition.
nProgramming by contract.
nTest plans.