Статья 363

К числу таких вопросов относится вопрос о надежности программного обеспечения ЭВМ. Как известно, универсальные вычислительные машины могут быть запрограммированы для решения самых разнородных задач - в этом заключается одна из основных их особенностей, имеющая огромную практическую ценность. Один и тот же компьютер, в зависимости от того, какая программа находится у. него в памяти, способен осуществлять арифметические вычисления, доказывать теоремы и редактировать тексты, управлять ходом эксперимента и создавать проект автомобиля будущего, играть в шахматы и обучать иностранному языку. Однако успешное решение всех этих и многих других задач возможно лишь при том условии, что компьютерные программы не содержат ошибок, которые способны привести к результатам, ничего общего не имеющим с ожиданиями и целями пользователя.

надежности

надежности

Могут сказать, что требование отсутствия ошибок в программном обеспечении совершенно естественно и не нуждается в обосновании.