Код программы компьютеру, документацию на программу заказчику, схемы программистам.
Для решения проблемы несовпадения документации и кода, нужна IDE которая не позволяет писать код отдельно, а только в схемах.
Код будет генерироваться из из схем. IDE будет позволять создавать только верифицируемые схемы - как предлагал Шалыто А.А. - управляющие автоматы. Разработчики будут создавать слои схем датафлоу, которые, пока не придумал как, будут связаны со слоями схем управляющих автоматов.
Код будет в схемах, а уже IDE, задействуя ИИ, будет оценивать схемы, код ...