Ironic that this is on MSNBC. ;-)
So, litigation is the answer, eh? Bloody Americans. Still, it's true that software is currently a long way from being an engineering discipline, but that it could be. It would be a huge culture shift, though.
'Correct by construction' - there aren't any languages which make it hard to write bad code, I'm afraid. "Real programmers can write assembly code in any language." There are languages which make it easy to write good code, though.
Update: Slashdot is covering this. Interesting comments this time.Posted to Software development by Simon Brunning at June 18, 2002 12:13 PM