中古品:

￥6,309 税込

無料配送 6月9日日曜日にお届け
詳細を見る

または最も早い配送 6月8日土曜日にお届け
詳細を見る

お届け先を選択

中古商品: 非常に良い | 詳細

発売元 BEST-SHOP

Amazon.co.jp が発送

Amazonの他の出品者

新品＆中古品 (19)件の出品：￥6,051 + ￥257 配送料

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォローする

抽象によるソフトウェア設計−Alloyではじめる形式手法− 単行本（ソフトカバー） – 2011/7/15

Daniel Jackson (著), 中島震 (監訳), 今井健男 (翻訳),

3.3 5個の評価

すべての形式と版を表示

このページの読み込み中に問題が発生しました。もう一度試してください。

Alloy（アロイ）を通じて形式手法を学ぶ！

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

この商品に関する問題を報告する

本の長さ

368ページ
言語

日本語
出版社

オーム社
発売日

2011/7/15
寸法

15 x 1.8 x 21.1 cm
ISBN-10

4274068587
ISBN-13

978-4274068584
すべての詳細を表示

30個の商品：￥810から
高原康彦
3
単行本（ソフトカバー）
20個の商品：￥1,210から
中島震
単行本（ソフトカバー）
25個の商品：￥3,028から
Hillel Wayne
5
単行本（ソフトカバー）

登録情報

出版社 ‏ : ‎ オーム社 (2011/7/15)
発売日 ‏ : ‎ 2011/7/15
言語 ‏ : ‎ 日本語
単行本（ソフトカバー） ‏ : ‎ 368ページ
ISBN-10 ‏ : ‎ 4274068587
ISBN-13 ‏ : ‎ 978-4274068584
寸法 ‏ : ‎ 15 x 1.8 x 21.1 cm

Amazon 売れ筋ランキング: - 876,397位本 (本の売れ筋ランキングを見る)
- - 4,161位プログラミング (本)
- - 15,714位電気・通信 (本)

カスタマーレビュー:
3.3 5個の評価

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

酒井政裕
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る
Daniel Jackson
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る
遠藤侑介
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者ページでもっと見る

カスタマーレビュー

5つのうち3.3つ

5グローバルレーティング

星3つ

0%

星2つ

0%

星1つ

35%

評価はどのように計算されますか?

この商品をレビュー

カスタマーレビューを書く

レビューのソート基準

上位レビュー、対象国：日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

kaizen

分析の道具

2018年3月20日に日本でレビュー済み

数年前、名古屋alloy analyserという図を書いて関係を確認する道具のセミナを企画しました。その後もalloy analyserの勉強会を開催したので英語版を手に取った。状態遷移図をどう表現するとよいか、他の言語、他の道具との連携などが話題になった。2013年8月、名古屋で勉強会があるようなので翻訳版を購入した。

2013年9月30日に日本でレビュー済み

Amazonで購入

まだ途中までしか読んでいません。少し停滞気味です。

読んでいて、昔大学でPrologを習ったときのことを思い出しました。
Prologは実際に問題を解くのですが、制約をいかに上手に記述するかというところが
似ているのではないかと思います。

UMLで状態遷移図やクラス図、シーケンス図を描いても、ほんとうにこれで正しいのか
確証が持てないまま実装していますが、Alloyを使えばもう少し自信が持てそうな
気がします。筆者は「図でスケッチしてからAlloyでモデリングする」というような記述をしており、
まさしくその通りなのでしょう。

言語で記述するので、実行可能なコードに変換できると思い込んで購入したのですが、
実際にできるかはもう少し読み進めてからの楽しみにしておきます。

3人のお客様がこれが役に立ったと考えています

役に立った

hiyoko

Alloy を勉強するなら、この１冊

2011年10月19日に日本でレビュー済み

良書です。ぎっしりと内容が詰まっています。
誤記が見当たらず、丁寧に書き上げられていて好感が持てます。
記述が少々難しめなので、中上級者用です。
K&Rの『プログラミング言語C』が一人で読めて、
集合論を多少なりとも知っている人なら読めると思います。
お薦めです。

8人のお客様がこれが役に立ったと考えています

役に立った

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

著者をフォローする

抽象によるソフトウェア設計−Alloyではじめる形式手法− 単行本（ソフトカバー） – 2011/7/15

この商品をチェックした人はこんな商品もチェックしています

登録情報

著者について

酒井 政裕

Daniel Jackson

遠藤 侑介

カスタマーレビュー

この商品をレビュー

上位レビュー、対象国： 日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

酒井政裕

遠藤侑介

上位レビュー、対象国：日本