発想が逆なんじゃないかな？
仕様を定義するほうが、プログラム書くより量的に少ない場合とか、
そうでなくても厳密な仕様をミスなく書き下す手間が自動化できてラッキーとか、
モデルチェッカとかでチェックした仕様をソースにできるとか、
図でプログラム読めない人（←でも業務とかその道のプロ）に漏れや抜けがないかを
チェックしてもらって、そっからミスなくソースができてうれしーとか。