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