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

Alloy(アロイ)を通じて形式手法を学ぶ 形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。Alloy(アロイ)は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。 本書は、"Software…