Mingins, Christine <br/><br/>
From UML to design by contract 

<br/><br/>DBC is central to the Eiffel method. The Eiffel method and notation covers analysis, design, specification, and implementation. Contracts are captured by assertions. Assertions enable designers to view the relationship between a class and its clients by explicitly stating each party's rights and obligations 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SYSTEMS DEVELOPMENT<br/>GUIDELINES<br/>COMPONENTS<br/>CODE REUSE<br/>OBJECT ORIENTED PROGRAMMING
<br/><br/><label>Universal Decimal Class. No.: </label>H004.415 JOU