> Но говорить, что бухгалтерские программы сложнее программ управления космическими аппаратами некорректно.

Почему не корректно?

Чтобы что-то с чем-то сравнивать нужно определить методику и привести
обе стороны к сравнимому виду. В области инженерии ПО такие методики
существуют уже давно, как и численные метрики измерения различных
характиристик создаваемого ПО, в том числе и его сложности.

Одной из таких метрик и, пожалуй, самой популярной, явлется количество
функциональных точек — функции, модуля, всей программы. Существуют
утилиты для измерения этой метрики для многих языков программирования.

В свете этой метрики ни супер-хитрые формулы учитывающие гравитацию всех
планет солнечной системы, ни real-time среда выполнения программы на ее
сложность никак не влияют, потому как не увеличивают переменные затраты
на создание ПО, а лишь являются технологическими аспектами (а формулы и
тест-данные их верификации вообще составляют обязательную часть ТЗ).

Если у вас есть другая метрика — давайте обсудим.