| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910149157903321 |
|
|
Titolo |
抽象によるソフトウェア設計 [[チュウショウニヨルソフトウェアセッケイ]] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
監訳: 中島震 |
その他の共訳 : 酒井政裕, 遠藤侑介, 片岡欣夫 |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
紙 -- 監 序文 -- 日本 版に寄せて -- 序文 -- -- 目次 -- 第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 一 -- 参 文献 -- あとがき -- 索引 -- 奥付. |
|
|
|
|
|
|
|
| |