Again go to the source... design by contract is a way to embed and execute the contracts in the source code is a great way to increase code quality. Take a look

Again go to the source... design by contract is a way to embed and execute the contracts in the source code is a great way to increase code quality. Take a look at the Eiffel programming language is impressive what having contracts in the code gives you.