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#
ليست هناك تعليقات:
إرسال تعليق