プロトコルと通信ソフトウェアの設計に関する基礎的研究

この論文をさがす

著者

    • 高橋, 薫, 1954- タカハシ, カオル

書誌事項

タイトル

プロトコルと通信ソフトウェアの設計に関する基礎的研究

著者名

高橋, 薫, 1954-

著者別名

タカハシ, カオル

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

乙第5666号

学位授与年月日

1992-02-12

注記・抄録

博士論文

Tohoku University

博士

工学

目次

  1. 目次 / (0003.jp2)
  2. 第1章 序論 / p1 (0006.jp2)
  3. 1.1 背景 / p1 (0006.jp2)
  4. 1.2 目的 / p4 (0008.jp2)
  5. 1.3 プロトコルと通信ソフトウェアの開発方法論 / p5 (0008.jp2)
  6. 1.4 論文の構成 / p12 (0012.jp2)
  7. 第2章 プロトコルの仕様化技法 / p14 (0014.jp2)
  8. 2.1 緒言 / p14 (0014.jp2)
  9. 2.2 プロトコルのモデル化 / p15 (0015.jp2)
  10. 2.3 有限状態機械によるプロトコルの仕様化手順 / p18 (0016.jp2)
  11. 2.4 プロトコルの有限状態機械仕様の分解 / p50 (0032.jp2)
  12. 2.5 結語 / p74 (0044.jp2)
  13. 第3章 プロトコル向き仕様記述言語NESDEL / p77 (0047.jp2)
  14. 3.1 緒言 / p77 (0047.jp2)
  15. 3.2 基本概念 / p79 (0048.jp2)
  16. 3.3 言語仕様 / p85 (0051.jp2)
  17. 3.4 記述例と評価 / p95 (0056.jp2)
  18. 3.5 結語 / p102 (0060.jp2)
  19. 第4章 通信ソフトウェア向きプログラミング言語IDL / p103 (0061.jp2)
  20. 4.1 緒言 / p103 (0061.jp2)
  21. 4.2 基本概念 / p106 (0063.jp2)
  22. 4.3 言語仕様 / p111 (0065.jp2)
  23. 4.4 IDLコンパイラ / p120 (0070.jp2)
  24. 4.5 適用と評価 / p123 (0071.jp2)
  25. 4.6 結語 / p131 (0075.jp2)
  26. 第5章 プロトコル検証法EXPAII / p133 (0077.jp2)
  27. 5.1 緒言 / p133 (0077.jp2)
  28. 5.2 プロトコル検証法EXPAII / p134 (0078.jp2)
  29. 5.3 適用 / p137 (0079.jp2)
  30. 5.4 結語 / p138 (0080.jp2)
  31. 第6章 言語間変換 / p141 (0082.jp2)
  32. 6.1 緒言 / p141 (0082.jp2)
  33. 6.2 NESDEL-to-EXPAII変換 / p142 (0083.jp2)
  34. 6.3 EXPAII-to-NESDEL変換 / p146 (0085.jp2)
  35. 6.4 NESDEL-to-IDL変換 / p149 (0086.jp2)
  36. 6.5 結語 / p161 (0092.jp2)
  37. 第7章 プロトコルと通信ソフトウェアの開発支援環境 / p162 (0094.jp2)
  38. 7.1 支援環境IDESS / p162 (0094.jp2)
  39. 7.2 知識型支援システム / p181 (0104.jp2)
  40. 第8章 結論 / p207 (0118.jp2)
  41. 謝辞 / p209 (0120.jp2)
  42. 参考文献 / p212 (0123.jp2)
0アクセス

各種コード

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