Продолжая размышления на тему.

Придумать, нарисовать вертолёт, ракету мог и Леонардо да Винчи.
Но вот чтобы построить такую технику, нужна "элементная база" соответствующего ассортимента и качества.

Т.е., как ни крути, и для софта объективны две стороны "пропасти Дейкстры": объективные требования задач и данная нам "элементная база" (язык, системное ПО, библиотеки).
А всякие изобразительно-выразительные средства (нотации проектирования, UML-и), не учитывающие эту базу, оказываются "сферическими конями", увы.
Что подтверждается мнением многих разработчиков (в отличие от менеджеров).

Потому что для формулирования задачи они, в общем, не лучше естественного языка в сочетании с частными средствами формализации, подобранными для ситуации.
А основным условием качественной реализации является уровень языка и базовых средств. Но именно от его особенностей пытаются абстрагироваться нотации проектирования.