[GLLUG] Software without bugs (was Re: Booting into text mode)
Edward Glowacki
glowack2@msu.edu
15 Feb 2002 07:59:46 -0500
On Thu, 2002-02-14 at 18:13, Ben Pfaff wrote:
> There are certainly large programs without bugs. These do tend
> to be the ones that were designed from the ground up with
> correctness in mind. Some of them have been *proven* correct,
> for that matter. The critical flight systems on aircraft tend to
> fit in this category.
A very good article that fits this discussion can be found at:
http://www.fastcompany.com/online/06/writestuff.html
It's about the software that runs the Space Shuttle, the people who
write it, and the processes they use. Good reading
--
Edward Glowacki glowack2@msu.edu
GLLUG Peon http://www.gllug.org
Imagination is the one weapon in the war against reality.
-- Jules de Gaultier