Episode 51: Design By Contract

In this episode, Arno and Michael take a look at Design by
Contract, a programming technique formalized by Bertrand Meyer. The
idea is that an interface is more than method signatures - it is
also about specifying the expected behavior that implementations
must provide. While some languages include direct support for this
style of programming, it is a useful mindset when desiging
interfaces even without such language features.