Bertrand Meyer – How to build quality software: the Eiffel experience
Wednesday, December 18th, 2019 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 methods and tools that provide built-in quality (“correctness by construction”) and scale up to very large…
