Без заголовка

В формализации две проблемы: 1. Чем больше инструкций, тем меньшее количиество людей ими владеют. В результате в конце концов появляются мастера инструкций, которые нифига не понимают в предмете, но командуют инженерам где какую закорючку ставить. Причём, это вопреки здравому смыслу, качеству конечного продукта и экономической целесообразности 2. Чем больше формализации, тем более модульными получаются требования просто из-за объёма. И проверка идёт не системно, а мелких деталей. По той простой причине, что деревьям уделяется столько внимания, что леса обнаружить просто невозможно. В знаменитом случае с Ариан 5 именно на этом и пролетела жесточайшая система контроля качества.