Praxis High Integrity Systems uses Ada to write large systems that are practically bug-free, for a fraction of the cost of standard approaches: http://www.spec

Praxis High Integrity Systems uses Ada to write large systems that are practically bug-free, for a fraction of the cost of standard approaches: http://www.spectrum.ieee.org/sep05/1454 http://www.spectrum.ieee.org/sep05/1454 While most projects don't need perfect code, Praxis' success makes me think there is something to the engineering argument.