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

ダニエル・ジャクソン(著), 中島震(著), 今井健男(著), 酒井政裕(著), 遠藤侑介(著), 片岡欣夫(著)

オーム社

(2)

レビューを書く

¥4,950

(税込)

2020年09月02日配信

※この商品はタブレットなど大きなディスプレイを備えた機器で読むことに適しています。
文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

あらすじ

※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。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　訳語一覧参考文献訳者あとがき索引