通信システムの仕様記述とその支援系の構成に関する研究

この論文をさがす

著者

    • 李, 殷碩 リ, ウンスク

書誌事項

タイトル

通信システムの仕様記述とその支援系の構成に関する研究

著者名

李, 殷碩

著者別名

リ, ウンスク

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

甲第4624号

学位授与年月日

1992-03-27

注記・抄録

博士論文

目次

  1. 目次 / (0005.jp2)
  2. 第1章 序論 / p1 (0010.jp2)
  3. 1.1 背景と目的 / p1 (0010.jp2)
  4. 1.2 論文の構成 / p5 (0014.jp2)
  5. 第2章 形式的仕様記述技法 / p7 (0016.jp2)
  6. 2.1 はじめに / p7 (0016.jp2)
  7. 2.2 形式的仕様記述技法 / p7 (0016.jp2)
  8. 2.3 LOTOS / p10 (0019.jp2)
  9. 2.4 G-LOTOS / p20 (0029.jp2)
  10. 第3章 G-LOTOSのための仕様化環境:SEGL / p32 (0041.jp2)
  11. 3.1 はじめに / p32 (0041.jp2)
  12. 3.2 SEGLの概要 / p32 (0041.jp2)
  13. 3.3 SEGLの構成 / p36 (0045.jp2)
  14. 3.4 SEGLの試作 / p57 (0066.jp2)
  15. 3.5 SEGLの適用例 / p70 (0079.jp2)
  16. 3.6 要約 / p83 (0092.jp2)
  17. 第4章 モデルに基づいた仕様化環境:MBP / p85 (0094.jp2)
  18. 4.1 はじめに / p85 (0094.jp2)
  19. 4.2 MBPの基本概念 / p87 (0096.jp2)
  20. 4.3 MBPのLOTOSへの応用 / p90 (0099.jp2)
  21. 4.4 MBPの試作 / p106 (0115.jp2)
  22. 4.5 MBPの適用例 / p106 (0115.jp2)
  23. 4.6 要約 / p112 (0121.jp2)
  24. 第5章 結論 / p126 (0135.jp2)
  25. 謝辞 / p129 (0138.jp2)
  26. 参考文献 / p130 (0139.jp2)
  27. 参考文献(著者発表論文) / p139 (0148.jp2)
  28. 付録A LOTOSの構文 / p142 (0151.jp2)
  29. B G-LOTOSの構文 / p157 (0166.jp2)
  30. C 仕様記述スタイルの要約 / p170 (0179.jp2)
  31. D Telephone_Systemの仕様 / p176 (0185.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000085012
  • NII著者ID(NRID)
    • 8000000085225
  • DOI(NDL)
  • NDL書誌ID
    • 000000249326
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ