でも、今後ソフトウェアが大規模化すると、しっかり仕様記述して検証しない訳にはいかなくなると思うです。
そういった状況は、実際の開発現場からあがってくるので、大学の研究室に閉じ籠って研究している段階から移りつつある鴨。