A contract makes the precision of the operation explicit. Yes No On what type of data does the pre- and post-conditions operate? (you may choose multiple) Parameters Visible/public state of the object State the object before the object call State the object after the object call Which one is not a benefit of design by contract? (you may choose multiple) Formal specification of what code and method is doing Checking conditions during execution (with proper tool support) Pre- and Post- conditions never get outdated it is an effortless approach for developers Helping to remove comments from code