The blurb on the sidebar proclaims Scott's MS experience. It's surprising to see someone with a Microsoft background making this complaint. MS spends more effort than any software company on testing, not only in just plain hiring lots of testers, but also on formal methods. They have some of the top formal methods people in the world doing research for them, and armies of people trying to put that research into pract…
I think I read this from HN but I use this as the best example of mission critical software, the Space Shuttle at NASA. The most important things the shuttle group does -- carefully planning the software in advance, writing no code until the design is complete, making no changes without supporting blueprints, keeping a completely accurate record of the code -- are not expensive. The process isn't even rocket science.…
The Space Shuttle went up the first time with a few K of core memory. The software effort was really pretty trivial compared with systems today.