Chair of Software Engineering Software Architecture Prof. Dr. Bertrand Meyer Lecture 4: Design by Contract.
1 - 7 - Design by Contract ™. 2 Design by Contract A discipline of analysis, design, implementation, management.
Chair of Software Engineering ATOT - Lecture 10, 5 May 2003 1 Advanced Topics in Object Technology Bertrand Meyer.
Software Engineering Design by Contract 1 Design by Contract ™