272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lecture 2: Design by Contract.
272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 11: Design by Contract and Java Modeling Language.
Mini-training: Code Contract
1 Attached types and their application to three open problems of object-oriented programming Bertrend Meyer ETH Zurich and Eiffel Software Itay Maman 236803.