If every IT project was developed as ships and buildings are, we would celebrate the release of the first spreadsheet application and whatever was the most basic predecessor to ARPAnet about now.

Different projects have different priorities. If my app crashes, no one's going to die, but if I'll waste time on formal verification of my database layer, quite a few people will end up losing their jobs and/or investments.