Computation theory research aims to create perfect software

摘要

We have become used to the idea that software will not work properly. We are remarkably toler-ant of software that goes wrong. We don't expect software to work correctly "out of the box." More to the point, neither does the manufacturer. "The software industry is still very immature compared to other branches of engineering," says Dr. Bengt Nordstrom, a computer scientist at Chalmers University in Goteborg, Sweden. "We want to see programming as an engineering discipline, but it's not there yet. It's not based on good theory and we don't have good design methods to make sure that at each step we produce something that's correct."