> 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.