How to build quality software: the Eiffel experience
Meyer
Bertrand
With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for