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

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