S spectrum.ieee.org A small British firm shows that software bugs aren't inevitable (2005) 55 points cjg 11 years ago 60 comments