「抽象によるソフトウェア設計」が発売されます - まめめも来週には RubyKaigi ですが、Ruby とは全く関係ない話題。 半年前にレビュワーを募集していた Software Abstraction 翻訳本ですが、とうとう発売されることになりました。今月中旬には書店に入るはずで、今日私の手元にも見本が届いたところです。みんな各自 100 冊くらい買ってください。 抽象によるソフトウェア設計−Alloyではじめる形式手法−posted with amazlet at 11.07.08Ｄａｎｉｅｌ Jackson オーム社 売り上げランキング: 35132 Amazon.co.jp で詳細を見る↑アフィリエイト注意。みんな絶対クリックするなよ！ Alloy とかいう形式手法の教科書です。Alloy でソフトウェアの仕様を形式的に記述して検証とかして、上流設計をうまいことこなしてください。 有界モデル検査とか言うと敷居が高く聞こえるかもしれません
