Без заголовка
Программисту не за кого спрятаться. Исполняется же машинный код, нет?
К математике претензии есть? - Нет, сложения и вычитания производились процессорами ПРАВИЛЬНО.
К физике есть вопросы? - Нет, датчики сигналили и прочая работа сложной системы происходила по ФИЗИЧЕСКИМ ЗАКОНАМ, а не закону божьему)))
Ларчик открывается просто - программисты положились на тестирование.
А тестирование никогда не докажет отсутствие ошибок. (с)Дейкстра
ТОЛЬКО ЛОГИКА.
Где тут польза от системной инженерии???