IT Notes


Developers: When Bugs Aren't Allowed

"When you're writing software for an air trade control system, military aeronautics software system, or an certification system for the NSA, the delivered code can't afford to have bugs. Praxis High Honesty Systems, who were the feature of a modern IEEE article, write exactly that kind of software. In "Correctness by Construction: A Pronunciamento for High-State Computer code" developers from Praxis deal their process method, explaining how they manage such a low imperfectness rate, and how they can still maintain very high developer productivity rates mistreatment a more active development method than the rigid processes usually related to with high-integrity software process."

[Suggestions/Comments] [My Guestbook]
© Copyright 2002-2005. All rights reserved.
Software on this web site is provided "as is". Use at your own risk.