Software abstractions ja p1 0
PDF
A5判 376頁
発行日: 2011.07.25
eBook Store 発売日: 2011.11.06
¥4,500 + 税

購入についてのご注意

  • 電子書籍データには、お客様の識別情報が印字されます。
  • 電子書籍データのご利用は注文者個人に限られます。

サンプルファイルのダウンロード

  • PDF

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

Daniel Jackson著 中島震監訳 今井健男・酒井政裕・遠藤侑介・片岡欣夫共訳

Alloy(アロイ)を通じて形式手法を学ぶ

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

本書は、"Software Abstractions: Logic, Language, and Analysis"の翻訳書です。Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。

このような方におすすめ

  • ソフトウェア開発者
  • 研究者

ジャンル

関連書籍

最近チェックした書籍

抽象によるソフトウェア設計 ―Alloyではじめる形式手法
¥4,500 + 税