03338nam 2200409z 450 991014915790332120221215210207.04-274-80164-0(CKB)2560000000240142(JP-MeL)3000002715(MiAaPQ)EBC5348386(Au-PeEL)EBL5348386(CaPaEBR)ebr11545095(OCoLC)1031962850()3000002715(EXLCZ)99256000000024014220211007d2011 ||| |jpnur|n||||un|||txtrdacontentcrdamediacrrdacarrier抽象によるソフトウェア設計 [[チュウショウニヨルソフトウェアセッケイ]]東京オーム社2011.7オンライン資料1件監訳: 中島震その他の共訳 : 酒井政裕, 遠藤侑介, 片岡欣夫4-274-06858-7 紙 -- 監 序文 -- 日本 版に寄せて -- 序文 -- -- 目次 -- 第1章　はじめに -- 第2章　ざっと一巡り -- 2.1　 的な側 状態を べる -- 2.2　動的な側 操作を 加する -- 2.3　 層の導入 -- 2.4　実 トレース -- 2.5　まとめ -- 第3章　 理系 -- 3.1　3つの側 を持つ 理系 -- 3.2　アトムと 係 -- 3.3　スナップショット -- 3.4　演算子 -- 3.5　制約 -- 3.6　宣 制約と多 度制約 -- 3.7　濃度制約と整数 -- 第4章 -- 4.1　例 分が の祖父 -- 4.2　シグネチャとフィールド -- 4.3　モデル図 -- 4.4　型と型検査 -- 4.5　ファクト、 、 数、アサーション -- 4.6　コマンドとスコープ -- 4.7　モジュールと多相性 -- 4.8　整数と算 演算 -- 第5章　 析 -- 5.1　スコープを網羅する 析 -- 5.2　インスタンス、充 例、反例 -- 5.3　 定の全称 子 -- 5.4　スコープの 択と単 性 -- 第6章　事例 -- 6.1　リーダー 出問 -- 6.2　ホテルの客室施 -- 6.3　メディア 産管理 -- 6.4　メモリの抽 化 -- 付 A　練習問 -- A.1　 理の問 -- A.2　単純なモデルを拡張する -- A.3　古典的パズル -- A.4　メタモデル -- A.5　小さなケーススタディ -- A.6　 由形式のケーススタディ -- 付 B　Alloy リファレンス -- B.1　字句 -- B.2　名前空 -- B.3　文法 -- B.4　優先 位と結合性 -- B.5　意味 の基本 -- B.6　型とオーバーロード -- B.7　 機 -- B.8　 係式 -- B.9　整数式 -- B.10　ブール式 -- 付 C　中核の意味 -- C.1　Alloyの中核の意味 -- 付 D　図的 法 -- 付 E　Alloy以外の手法 -- E.1　事例 -- E.2　B -- E.3　OCL -- E.4　VDM -- E.5　Z -- 付 F　Alloy Analyzerクイックガイド -- F.1　Alloy 析器の 動 -- F.2　Alloy 析器のGUI -- F.3　Alloyモデルの 析を う -- F.4　Alloy 4の構文的機 -- 付 G　 一 -- 参 文献 -- あとがき -- 索引 -- 奥付.880-03/$1ソフトウェア工学jlabshソフトウェア工学007.63njb/09JP-MeLBOOK9910149157903321抽象によるソフトウェア設計3871585UNINA