Podcast (MP3): Download
Hosts: Arno Michael
Guests:
Recording venue:
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.
Links- Book: Bertrand Meyer, Object Oriented Software Construction
- The original publication by Betrand Meyer
- An introduction to design by contract
- ContractJ - DbC with Java 5
- Spec# - DbC for C#
Comments