山下寛人オフィシャルブログ

オイシックス株式会社 執行役員 システム本部長 山下寛人の公式ブログです。

仕様を厳密にするには

VDMという手法があるそうです。

仕様を厳密に記述するために、独自の言語を使うそうです。

言語のイメージは以下の記事にあります。

ライトウェイトな形式手法で高品質な仕様をこの手に! (3/3)

これは立派なプログラム言語です。

やはり私が以前から考えていたように仕様を厳密に

記述するにはソースコードが一番のようです。

こういったVDMのような手法は形式手法というそうですが

1970年代から提唱されているとのことです。

ずっと昔から周知の事実だったのですね。