ばいちょ(売価調査)、価格比較とネットでのお買い物を楽に

内容紹介 Alloy（アロイ）を通じて形式手法を学ぶ！
形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。
Alloy（アロイ）は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。
本書は、?Software Abstractions: Logic， Language， and Analysis? の翻訳書です。
Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。