Design by Contract or DbC in short, is a programming technique originally proposed by Bertrand Meyer, the inventor of the programming language, Eiffel. This idea is very influential, and ultimately created a software engineering practice also known as Test Driven Software Engineering.