Slashdot Mirror
When Bugs Aren't Allowed
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."
Having read Beck and Fowler's Planning Extreme Programming I get the impression that the XP model is less about bug-free code and more about driving your coders to suicide by showing them how annoying a cubicle-mate "partner programmer" can be. How employee nervous breakdown equates to profit, well, I still don't know, but a lot of companies sure seem to like the model.
I think you mean 43.
Someday a Slashdot ID of 177180 will mean something.