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

У меня другой взгляд на эти проблемы. Действительно, проблемы обычно в непротиворечивости сотен тысяч требований, но человек с орлиным взглядом обычно bottleneсk в больших системах: его всегда меньше, чем проблем для него. Плюс непротиворечивость неплохо бы проверять при каждом изменении системы и каждом изменении требований -- а человек с орлиным взором рутинно не способен одно и то же проверять по двадцать раз на дню, глаз замыливается. И требований много разных видов, в разых формах. Вот тут не помогают ни старые методы, ни ограниченное число (хотя кажется, что их много на всех уровнях) сверхумных хардверных инженеров, ни многие из новых методов. Тут и нужно понимать, где действенный фронтир. И на это тоже есть люди со своей чуйкой -- и эта чуйка у них побольше вашей и моей вместе взятых. А потом мы эти решения видим через много-много лет зафиксированными в стандартах, они становятся рутиной и чем-то обыденным. Но всегда будут лавки, в которых и обыденные стандарты это супер-пупер-дупер прогресс. Ну, и часто в стандартах фиксируется не реально помогающие методы, а их могучие упрощения (или наоборот, могучие навороты на реально работающие идеи). Недаром в каждом стандарте системной инженерии есть приписка, что без адаптации стандарта применять его нельзя -- то есть использование неизменённого для нужд конкретной организации стандарта есть наказуемый грех, non-complience.