Надежность ПО

Наткнулся на упоминание парочки книг одна принадлежит перу Дейкстры а вторая детище Майерса - "Надежность програмного обеспенчения" перевод от 1980г. эх, какая книга, просто прелесть. Понравилась такая фраза:

Система раннего обнаружения балистических снарядов Ballistic Missile Early Warning System должна наблюдать за объектами, движущимися по направлению к Соединенным Штатам, и, если объект не опознан, начать поледовательность защитных мероприятий - от попыток установить с объектом связь до перехвата и, возможно, ответного удара. Одна из ранних версий системы ошибочно приняла поднимающуюся Луну за снаряд, летящий над северным полушарием. Ошибка ли это? С точки зрения пользователя (Министерства обороны США) - да. С точки зрения разработчика системы - возможно, и нет...

П.С. Как говориться... четче, четче формулируйте задачу...