内容紹介

※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。

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

監訳者序文
日本語版に寄せて
序文
謝辞

第1章　はじめに
第2章　ざっと一巡り
第3章　論理系
第4章　言語
第5章　解析
第6章　事例
付録A　練習問題
付録B　Alloy言語リファレンス
付録C　中核の意味論
付録D　図的記法
付録E　Alloy以外の手法
付録F　Alloy Analyzerクイックガイド
付録G　訳語一覧

参考文献
訳者あとがき
索引