A archive.eiffel.com An Introduction to Design by Contract 15 points brudgers 11 years ago 1 comments