λ. 『抽象によるソフトウェア設計』がついに出版されます 先日、レビュワーを募集していた "Software Abstractions"の翻訳本ですが、ついに来週『抽象によるソフトウェア設計』として出版されることになりました。 2009年のFLTVで告知してから二年も経ってしまいましたが、ついに出版されることになったかと思うと非常に感慨深いです。これは訳者の贔屓目ですが、それだけの時間に見合う素晴らしい仕上がりの本になっていると思います。 抽象によるソフトウェア設計−Alloyではじめる形式手法−(Daniel Jackson/中島 震/今井 健男/酒井 政裕/遠藤 侑介/片岡 欣夫) この本はAlloyという言語・ツールを用いた形式手法の教科書です。 Alloyというのは、モデル発見器と呼ばれているツールの一つで、条件を与えるとその条件を満たす具体例を探してくれます。モデルというのは、条