来週には RubyKaigi ですが、Ruby とは全く関係ない話題。 半年前にレビュワーを募集していた Software Abstraction 翻訳本ですが、とうとう発売されることになりました。今月中旬には書店に入るはずで、今日私の手元にも見本が届いたところです。みんな各自…

Alloy とかいう形式仕様記述言語があります。ソフトウェアの仕様を形式的に記述して検証とかして、上流設計をうまいことこなしちゃおう、とかいうアレです。 で、Alloy の教科書とされる「Software Abstractions: Logic, Language, and Analysis」という本が…