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

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