Bertrand Meyer – How to build quality software: the Eiffel experience

Wednesday, December 18th, 2019 – 11:00 am 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…

Continue reading