抽象によるソフトウェア設計 ―Alloyではじめる形式手法
ダニエル・ジャクソン(著)
,中島震(著)
,今井健男(著)
,酒井政裕(著)
,遠藤侑介(著)
,片岡欣夫(著)
/オーム社
作品情報
※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。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 訳語一覧参考文献訳者あとがき索引
もっとみる
商品情報
- ジャンル
- コンピュータ・情報 - コンピュータ・インターネット
- 出版社
- オーム社
- 書籍発売日
- 2011.07.14
- Reader Store発売日
- 2020.09.02
- ファイルサイズ
- 234.7MB
以下の製品には非対応です
※この商品はタブレットなど大きなディスプレイを備えた機器で読むことに適しています。
文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
この作品のレビュー
平均 3.0 (2件のレビュー)
-
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コー…ディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がないとしてコードで設計を考えるアジャイルの考えを導いたとする。)
ツールにより設計を検査することでコードの無駄な煩雑さに煩わされることなく設計を考えることができると主張。続きを読む投稿日:2011.09.19
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感…だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を改めてもう一度読もうと思います。続きを読む
投稿日:2012.01.12
新刊自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
※新刊自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新号を含め、既刊の号は含まれません。ご契約はページ右の「新刊自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される「増刊号」「特別号」等も、自動購入の対象に含まれますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると新刊自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約・新刊自動購入設定」より、随時解約可能です続巻自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
- ・優待ポイントが2倍になるおトクなキャンペーン実施中!
※続巻自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新巻を含め、既刊の巻は含まれません。ご契約はページ右の「続巻自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される特別号等も自動購入の対象に含まれる場合がありますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると続巻自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約自動購入設定」より、随時解約可能ですReader Store BOOK GIFT とは
ご家族、ご友人などに電子書籍をギフトとしてプレゼントすることができる機能です。
贈りたい本を「プレゼントする」のボタンからご購入頂き、お受け取り用のリンクをメールなどでお知らせするだけでOK!
ぜひお誕生日のお祝いや、おすすめしたい本をプレゼントしてみてください。※ギフトのお受け取り期限はご購入後6ヶ月となります。お受け取りされないまま期限を過ぎた場合、お受け取りや払い戻しはできませんのでご注意ください。
※お受け取りになる方がすでに同じ本をお持ちの場合でも払い戻しはできません。
※ギフトのお受け取りにはサインアップ(無料)が必要です。
※ご自身の本棚の本を贈ることはできません。
※ポイント、クーポンの利用はできません。クーポンコード登録
Reader Storeをご利用のお客様へ
ご利用ありがとうございます!
エラー(エラーコード: )
ご協力ありがとうございました
参考にさせていただきます。