The tyranny of numbers [software debugging]
L. Collins · Information Professional · 2005
IT is now a vital business tool, the aftermath of the dotcom bubble has left some questioning whether it offers any greater competitive advantage than access to a utility such as electricity. Microsoft needs to keep innovating to provide demonstrable additional value in the products and services it introduces. Microsoft's UK head of research is looking at formal methods to try to cut bugs in software and better use of parallelism to deal with the new breed of multiprocessors.