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

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

2012-07-29から1日間の記事一覧

仕様を厳密にするには

VDMという手法があるそうです。仕様を厳密に記述するために、独自の言語を使うそうです。言語のイメージは以下の記事にあります。ライトウェイトな形式手法で高品質な仕様をこの手に! (3/3)これは立派なプログラム言語です。やはり私が以前から考えていたよ…