“As a rule, software systems do not work well until they have been used, and have failed repeatedly, in real applications.”