However, C++ is a rich and diverse language supporting a multi-paradigm approach to design. The more recent features of the language provide new opportunities to add Design by Contract support. In ...