通信ソフトウェアの体系的開発支援の研究

Access this Article

Search this Article

Author

    • 勝山, 光太郎 カツヤマ, コウタロウ

Bibliographic Information

Title

通信ソフトウェアの体系的開発支援の研究

Author

勝山, 光太郎

Author(Another name)

カツヤマ, コウタロウ

University

慶應義塾大学

Types of degree

工学博士

Grant ID

乙第2487号

Degree year

1992-04-08

Note and Description

博士論文

Table of Contents

  1. 論文目録 / p7 (0001.jp2)
  2. 目次 / p1 (0008.jp2)
  3. 1.序論 / p1 (0009.jp2)
  4. 1.1 研究の背景および目的 / p1 (0009.jp2)
  5. 1.2 従来の研究の概観 / p3 (0010.jp2)
  6. 1.3 従来技術の問題点 / p10 (0014.jp2)
  7. 1.4 研究の特徴 / p14 (0016.jp2)
  8. 1.5 論文の構成 / p15 (0016.jp2)
  9. 2.体系的開発支援に係わる技術的背景 / p18 (0018.jp2)
  10. 2.1 はじめに / p18 (0018.jp2)
  11. 2.2 通信ソフトウェアとオブジェクト指向 / p18 (0018.jp2)
  12. 2.3 仕様記述言語 / p21 (0019.jp2)
  13. 2.4 適合性試験手法 / p36 (0027.jp2)
  14. 2.5 まとめ / p37 (0027.jp2)
  15. 3.体系的開発支援 / p38 (0028.jp2)
  16. 3.1 はじめに / p38 (0028.jp2)
  17. 3.2 体系的開発支援 / p39 (0028.jp2)
  18. 3.3 オブジェクト指向による通信ソフトウェアの構成法 / p41 (0029.jp2)
  19. 3.4 体系的試験支援環境(FOREST) / p43 (0030.jp2)
  20. 3.5 まとめ / p46 (0032.jp2)
  21. 4.オブジェクト指向言語super C / p47 (0032.jp2)
  22. 4.1 はじめに / p47 (0032.jp2)
  23. 4.2 super C の設計 / p48 (0033.jp2)
  24. 4.3 super C の実現方式 / p50 (0034.jp2)
  25. 4 .4 性能 / p54 (0036.jp2)
  26. 4.6 まとめ / p55 (0036.jp2)
  27. 5.試験支援環境FOREST / p57 (0037.jp2)
  28. 5.1 はじめに / p57 (0037.jp2)
  29. 5.2 FORESTの構成 / p58 (0038.jp2)
  30. 5.3 TENT / p59 (0038.jp2)
  31. 5.4 APRICOT / p66 (0042.jp2)
  32. 5.5 TESPEC / p73 (0045.jp2)
  33. 5.5 TEXEC / p74 (0046.jp2)
  34. 5.6 まとめ / p77 (0047.jp2)
  35. 6.OSIソフトウェア開発への適用 / p79 (0048.jp2)
  36. 6.1 はじめに / p79 (0048.jp2)
  37. 6.2 super C の適用 / p79 (0048.jp2)
  38. 6.3 FORESTの適用 / p88 (0053.jp2)
  39. 6.4 まとめ / p96 (0057.jp2)
  40. 7.結論 / p97 (0057.jp2)
  41. 謝辞 / p100 (0059.jp2)
  42. 参考文献 / p101 (0059.jp2)
  43. 付録(略語一覧) / p117 (0067.jp2)
1access

Codes

  • NII Article ID (NAID)
    500000091271
  • NII Author ID (NRID)
    • 8000000091495
  • DOI(NDL)
  • NDLBibID
    • 000000255585
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top