On: Contracts for C++ (DbC) [pdf]

[zerr]

Is anyone using Eiffel language in the real world? The community seems so tiny, barely existing.

[rramadass → zerr]

That doesn't matter when it comes to concepts/ideas which are useful overall. In this context DbC is a general idea/technique (derived from the Floyd/Hoare/Dijkstra school of "Program Correctness") useful for "large scale" Software Engineering.

[pjmlp → zerr]

Definitly, otherwise Eiffel Software would have closed shop by now.