内容説明
形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。Alloy（アロイ）は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。
本書は、Software Abstractions: Logic, Language, and Analysisの翻訳書です。Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。
-
- 電子書籍
- 榊部長、そのイケボは反則です！ エリー…
-
- 電子書籍
- 異世界料理で子育てしながらレベルアップ…
-
- 電子書籍
- ブラックジャックの誘惑【分冊】 1巻 …
-
- 電子書籍
- おっさん、チートスキル【スローライフ】…
