Abstract :
Swiss Federal Institute of Technology (ETH) Zurich software engineering professor Bertrand Meyer, developer of the Design by Contract method of producing reliable software systems, has been named winner of the 2010 IEEE Computer Society Harlan D. Mills Award.