段階的詳細化に基づく通信システムの仕様記述に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
段階的詳細化に基づく通信システムの仕様記述に関する研究
- 著者名
-
郷, 健太郎
- 著者別名
-
ゴウ, ケンタロウ
- 学位授与大学
-
東北大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第5721号
- 学位授与年月日
-
1996-03-26
注記・抄録
博士論文
博士学位論文 (Thesis(doctor))
目次
- もくじ / p1 (0004.jp2)
- 1 序論 / p1 (0007.jp2)
- 1.1 背景と目的 / p1 (0007.jp2)
- 1.2 論文の構成 / p3 (0009.jp2)
- 2 形式記述技法 / p4 (0010.jp2)
- 2.1 はじめに / p4 (0010.jp2)
- 2.2 形式記述技法の背景 / p4 (0010.jp2)
- 2.3 LOTOS / p6 (0012.jp2)
- 2.4 ラベル付き遷移システム / p10 (0016.jp2)
- 2.5 等価性 / p12 (0018.jp2)
- 2.6 まとめ / p15 (0021.jp2)
- 3 LOTOS仕様の分割法 / p16 (0022.jp2)
- 3.1 はじめに / p16 (0022.jp2)
- 3.2 分割問題 / p16 (0022.jp2)
- 3.3 数学的準備 / p18 (0024.jp2)
- 3.4 分割法 / p20 (0026.jp2)
- 3.5 適用例 / p28 (0034.jp2)
- 3.6 まとめ / p33 (0039.jp2)
- 4 LTS仕様の分割法 / p34 (0040.jp2)
- 4.1 はじめに / p34 (0040.jp2)
- 4.2 数学的準備 / p35 (0041.jp2)
- 4.3 分割法 / p37 (0043.jp2)
- 4.4 適用例 / p57 (0063.jp2)
- 4.5 まとめ / p61 (0067.jp2)
- 5 ソフトウェアのやわらかい開発法 / p62 (0068.jp2)
- 5.1 はじめに / p62 (0068.jp2)
- 5.2 やわらかい開発法 / p63 (0069.jp2)
- 5.3 やわらかい開発法の具体化 / p65 (0071.jp2)
- 5.4 まとめ / p81 (0087.jp2)
- 6 結論 / p82 (0088.jp2)
- 謝辞 / p84 (0090.jp2)
- 参考文献 / p85 (0091.jp2)
- 著者発表論文 / p94 (0100.jp2)
- A LOTOSの記述スタイル / p97 (0103.jp2)
- A.1 はじめに / p97 (0103.jp2)
- A.2 モノリシックスタイル / p97 (0103.jp2)
- A.3 制約指向スタイル / p98 (0104.jp2)
- A.4 状態指向スタイル / p99 (0105.jp2)
- A.5 資源指向スタイル / p99 (0105.jp2)
- A.6 まとめ / p100 (0106.jp2)