Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.