nA programming style in which the invocation of a method is viewed as a contract between client and server, with each having explicitly stated responsibilities. nTo imply a precondition, we will use the term ‘require:’. nTo imply a postcondition, we will use the term ‘ensure:’.