In this article, following a survey of previous suggestions, two techniques for supporting Design by Contract in C++ are outlined. The first technique deals with the need to observe the Liskov ...