TY  - SER
AU  - Mingins, Christine
AU  - Liu, Yu
TI  - From UML to design by contract
KW  - SYSTEMS DEVELOPMENT
KW  - GUIDELINES
KW  - COMPONENTS
KW  - CODE REUSE
KW  - OBJECT ORIENTED PROGRAMMING
N1  - 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
ER  -