When Bugs Aren't Allowed · Slashdot Mirror

Posted by CowboyNeal on Thursday January 5, 2006 @12:54PM from the absolutely-positively-perfect dept.

Coryoth writes "When you're writing software for an air traffic control system, military avionics software, or an authentication system for the NSA, the delivered code can't afford to have bugs. Praxis High Integrity Systems, who were the feature of a recent IEEE article, write exactly that kind of software. In "Correctness by Construction: A Manifesto for High-Integrity Software" developers from Praxis discuss their development method, explaining how they manage such a low defect rate, and how they can still maintain very high developer productivity rates using a more agile development method than the rigid processes usually associated with high-integrity software development."

1 of 489 comments (clear)

Min score:

Reason:

Sort:

Re:Paper doesn't mention open source model by Anonymous Coward · 2006-01-05 13:51 · Score: -1, Troll

Hello? Gasjews.com? Slashdot ID >900K? "OpenOffice is some of the best software on the planet"? "Windows and Unix constantly playing catchup to Linux"?

You people have been trolled. Nicely trolled, at that.