通信ソフトウエアの非手続き的記述手法と解析手法の研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
通信ソフトウエアの非手続き的記述手法と解析手法の研究
- Author
-
平川, 豊
- Author(Another name)
-
ヒラカワ, ユタカ
- University
-
神戸大学
- Types of degree
-
学術博士
- Grant ID
-
乙第1582号
- Degree year
-
1991-10-07
Note and Description
博士論文
Table of Contents
- 目 次 / (0003.jp2)
- 第1章 序論 / p1 (0004.jp2)
- 1. 1 研究の目的 / p1 (0004.jp2)
- 1. 2 アプローチと研究の背景 / p3 (0005.jp2)
- 1 .3 研究の概要 / p8 (0008.jp2)
- 第2章 非手続き形通信サービス記述手法 / p11 (0009.jp2)
- 2. 1 まえがき / p11 (0009.jp2)
- 2. 2 サービス記述の考え方 / p11 (0009.jp2)
- 2. 3 付加サービス記述の困難性 / p12 (0010.jp2)
- 2. 4 サービス記述手法 / p14 (0011.jp2)
- 2. 5 サービス記述例 / p17 (0012.jp2)
- 2. 6 評価 / p21 (0014.jp2)
- 2. 7 むすび / p24 (0016.jp2)
- 第3章 非手続き形通信ソフトウェア記述言語 / p26 (0017.jp2)
- 3. 1 まえがき / p26 (0017.jp2)
- 3. 2 非手続き形言語MBL / p26 (0017.jp2)
- 3. 3 実験交換システム / p37 (0022.jp2)
- 3. 4 評価結果 / p40 (0024.jp2)
- 3. 5 むすび / p40 (0024.jp2)
- 第4章 通信ソフトウェア縮退検証手法 / p42 (0025.jp2)
- 4. 1 まえがき / p42 (0025.jp2)
- 4. 2 縮退検証手法 / p42 (0025.jp2)
- 4. 3 検証性に関する結果 / p51 (0029.jp2)
- 4. 4 適用例 / p57 (0032.jp2)
- 4. 5 むすび / p59 (0033.jp2)
- 第5章 通信ソフトウェア構成の簡単化手法 / p60 (0034.jp2)
- 5. 1 まえがき / p60 (0034.jp2)
- 5. 2 従来の問題点と同期組オートマトンモデル / p61 (0034.jp2)
- 5. 3 基本分解アルゴリズム / p64 (0036.jp2)
- 5. 4 同期組オートマトンへの分解 / p69 (0038.jp2)
- 5. 5 適用例 / p71 (0039.jp2)
- 5. 6 むすび / p74 (0041.jp2)
- 第6章 設計情報管理手法 / p75 (0041.jp2)
- 6. 1 まえがき / p75 (0041.jp2)
- 6. 2 設計観察実験 / p76 (0042.jp2)
- 6. 3 設計履歴モデル / p76 (0042.jp2)
- 6. 4 設計履歴を用いた設計支援手法 / p82 (0045.jp2)
- 6. 5 むすび / p89 (0048.jp2)
- 第7章 結論 / p91 (0049.jp2)
- 謝辞 / p93 (0050.jp2)
- 参考文献 / p94 (0051.jp2)
- 本論文に関連する著者の発表論文 / p101 (0054.jp2)