Indeterministic Behavior in Computing Systems and its Possible Impact on the Digital Society
Many people have experienced computers not doing what they were expected to do or, perhaps more often, met with computers that deliver faulty results. Frequently, if not always, such behavior is blamed the lack of a complete requirements specification. hi this assertion, it is tacitly understood that if a specification is correct and comprehensive enough then it is possible to avoid computing erro