Home > IT Notes
= Home = About Me = Search = Projects = Fun = Guestbook =
IT Notes

 

I have no other notes on this item.

The notes are for my personal use. They are by no means correct in any way. They may not even make sense to you!

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.