Блин, я на системах управления учился и знаком только с тем, что касается самолетного софта, а там процессы очень похожие на то, что есть в остальной IT индустрии, но идея в том, что то, что у нас обычно просто складывается в папку specs, превращается в документ и подписывается гендиром конторы и потом проверяется аудиторами. Вангую, что генеральный конструктор просто полагается на заключения таких аудиторов. То есть, он так или иначе абстрагирован от деталей реализации.