If you happen to speak German, you can watch the video of my latest talk at the .NET User Group Regensburg which I held on last Monday, the 25th. of January. In it, we discuss the basics of Design by Contract with its Pre- and Post-Condtions, Class Invariants, and Variants and Invariants for loops as well as a framework called Code Contracts that provides functionality to introduce DbC in .NET. Furthermore, we check out alternatives to Code Contracts and the importance of executable specifications.
Design by Contract is rather old, as Bertrand Meyer, a famous software engineer and professor at the ETH Zurich, published it already in 1988 in his book “Object-Oriented Software Construction“. If you read my blog regularly, you probably know from my former posts (here and here) that I strongly encourage the use of DbC and think that it is underrepresented in today’s landscape of Object-Oriented Software Engineering.
If you have any questions, please feel free to ask them here on my blog or in the comment section on YouTube. In any case, enjoy the video! 🙂