> There has to be interaction and feedback.  Many programmers (say, using
> C) are oblivious, because they don't get that feedback from their
> language.  What the Ada guys know just seems like theoretical
> gobbledygook to them.

That's only part of the problem.  Many of them (just like the U.S. auto
industry) think the only testing or qulity control should be done by
customers.