Miscomputation in software: Learning to live with errors

Tomas Petricek

Computer programs do not always work as expected. In fact, ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regul…