was first developed by Bertrand Meyer [238] for the Eiffel [239] programming
language. Since then, tools have been developed to provide wrappers to support
DbC in other programming languages.
For example, Stephen Edwards et al. [240] describe an approach for C++.Yves