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

内容詳細

形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。

Alloy(アロイ)は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。

本書は、"Software Abstractions: Logic, Language, and Analysis"の翻訳書です。

Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。