2008-09-19 もしかして 日記 最近、形式手法が気になって、Bメソッドを紹介している本を買ったわけなんですが、どうもBメソッドって、日本ではマイナーみたいですね。ちょっと調べると、VDMのほうはいっぱい見つかるし、適用事例もいろいろあるみたいですね。いくら、僕がフランス語を大学でとっていたといっても、ジュテーム程度しかわからないので、情報がひきだせなくて困っています。