Will buying bug-free software ever be possible?July 19th, 2008 - 5:22 pm ICT by IANS
London, July 19 (IANS) European researchers are working on mathematical foundations of programming to create fault free software in the future. People are remarkably tolerant of software that goes wrong, but when it comes to faulty cars or TV sets, they would insist that they be set right without much ado, the researchers said.
“The software industry is still very immature compared to other branches of engineering,” says Bengt Nordstr
Tags: branches of engineering, chalmers university, computer scientist, correctness, design philosophy, emerging technologies, european researchers, european universities, first principles, guarantees, mathematical foundations, nordstr, open source software, open source software packages, reformulation, research institutes, software design, software industry, tv sets, type theory