Episode 51: Design By Contract
Recording Venue:
Guest(s):
Host(s): Arno Michael
Recording Venue:
Guest(s):
Host(s): Arno Michael
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:
- The original publication by Betrand Meyer
- An introduction to design by contract
- ContractJ – DbC with Java 5
- Book: Bertrand Meyer, Object Oriented Software Construction
- Spec# – DbC for C#
Podcast: Play in new window | Download
Subscribe: Apple Podcasts | RSS
Tags: dbc, design-by-contract, eiffel, Technology Talk
SE Radio Alerts
[…] I’ve been a longtime listener of podcasts but I’ve never really put any effort into finding a podcast that was relevant to software development. Until now, I never considered the convenience and benefits of being able to learn about my field of study through my headphones while I perform other tasks. In particular, I have been binge-listening Software Engineering radio because it is technical, topical, and informative while remaining pleasant to listen to. today, I am going to review and give commentary on Episode 51 of the show. […]