段階的詳細化に基づく通信システムの仕様記述に関する研究

この論文をさがす

著者

    • 郷, 健太郎 ゴウ, ケンタロウ

書誌事項

タイトル

段階的詳細化に基づく通信システムの仕様記述に関する研究

著者名

郷, 健太郎

著者別名

ゴウ, ケンタロウ

学位授与大学

東北大学

取得学位

博士 (情報科学)

学位授与番号

甲第5721号

学位授与年月日

1996-03-26

注記・抄録

博士論文

課程

目次

  1. もくじ / p1 (0004.jp2)
  2. 1 序論 / p1 (0007.jp2)
  3. 1.1 背景と目的 / p1 (0007.jp2)
  4. 1.2 論文の構成 / p3 (0009.jp2)
  5. 2 形式記述技法 / p4 (0010.jp2)
  6. 2.1 はじめに / p4 (0010.jp2)
  7. 2.2 形式記述技法の背景 / p4 (0010.jp2)
  8. 2.3 LOTOS / p6 (0012.jp2)
  9. 2.4 ラベル付き遷移システム / p10 (0016.jp2)
  10. 2.5 等価性 / p12 (0018.jp2)
  11. 2.6 まとめ / p15 (0021.jp2)
  12. 3 LOTOS仕様の分割法 / p16 (0022.jp2)
  13. 3.1 はじめに / p16 (0022.jp2)
  14. 3.2 分割問題 / p16 (0022.jp2)
  15. 3.3 数学的準備 / p18 (0024.jp2)
  16. 3.4 分割法 / p20 (0026.jp2)
  17. 3.5 適用例 / p28 (0034.jp2)
  18. 3.6 まとめ / p33 (0039.jp2)
  19. 4 LTS仕様の分割法 / p34 (0040.jp2)
  20. 4.1 はじめに / p34 (0040.jp2)
  21. 4.2 数学的準備 / p35 (0041.jp2)
  22. 4.3 分割法 / p37 (0043.jp2)
  23. 4.4 適用例 / p57 (0063.jp2)
  24. 4.5 まとめ / p61 (0067.jp2)
  25. 5 ソフトウェアのやわらかい開発法 / p62 (0068.jp2)
  26. 5.1 はじめに / p62 (0068.jp2)
  27. 5.2 やわらかい開発法 / p63 (0069.jp2)
  28. 5.3 やわらかい開発法の具体化 / p65 (0071.jp2)
  29. 5.4 まとめ / p81 (0087.jp2)
  30. 6 結論 / p82 (0088.jp2)
  31. 謝辞 / p84 (0090.jp2)
  32. 参考文献 / p85 (0091.jp2)
  33. 著者発表論文 / p94 (0100.jp2)
  34. A LOTOSの記述スタイル / p97 (0103.jp2)
  35. A.1 はじめに / p97 (0103.jp2)
  36. A.2 モノリシックスタイル / p97 (0103.jp2)
  37. A.3 制約指向スタイル / p98 (0104.jp2)
  38. A.4 状態指向スタイル / p99 (0105.jp2)
  39. A.5 資源指向スタイル / p99 (0105.jp2)
  40. A.6 まとめ / p100 (0106.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000134971
  • NII著者ID(NRID)
    • 8000000974046
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000299285
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ