Contracts: From Analysis to C++ Implementation

Describes a set of techniques and tools (an environment) facilitating prototyping of, providing general mechanisms for, object-oriented architectures based on the idea of assertion checking and Design by Contract (DbC) in C++.