ってのを考えた。タイトルだけ。ちなみに「愛と誠」は読んだことがないので、ネタ的に使う訳ではない。思いついたのでタイトルだけ使う。 ミニ知識集みたいに。 仕様書と設計書の違い specification と design の違いになる。 実は、要件定義と要求定義は同…

VDM++による形式仕様記述http://research.nii.ac.jp/~f-ishikawa/vdm/index.html 直感的に、昔から「むかむか」するのは何故だろう？ No Thank You な「言語」である。

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） － Publickeyhttp://www.publickey1.jp/blog/12/_1040_2.html いや「関わってください」ってことはないだろうけど、「関わ…