抽象によるソフトウェア設計 / Alloyではじめる形式手法

Ａｌｌｏｙは、形式手法を誰もが実践できることを目指したツールである。Ａｌｌｏｙによる様々な事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学ぶための１冊。