A study on construction method for simulation debugging environment of embedded computer software 組み込み型計算機ソフトウェアのシミュレーションデバッギング環境の構築方法に関する研究

この論文をさがす

著者

    • 于, 忠民 ウ, チュウミン

書誌事項

タイトル

A study on construction method for simulation debugging environment of embedded computer software

タイトル別名

組み込み型計算機ソフトウェアのシミュレーションデバッギング環境の構築方法に関する研究

著者名

于, 忠民

著者別名

ウ, チュウミン

学位授与大学

北海道大学

取得学位

博士 (工学)

学位授与番号

甲第3848号

学位授与年月日

1996-03-25

注記・抄録

博士論文

目次

  1. Table of Contents / p1 (0003.jp2)
  2. 1 INTRODUCTION / p1 (0007.jp2)
  3. 1.1 Overview / p1 (0007.jp2)
  4. 1.2 Organization of the dissertation / p2 (0008.jp2)
  5. 2 GENERAL DESCRIPTION / p5 (0011.jp2)
  6. 2.1 Introduction / p5 (0011.jp2)
  7. 2.2 Background / p6 (0012.jp2)
  8. 2.3 An enhanced construction environment / p14 (0020.jp2)
  9. 2.4 Target SDE model / p17 (0023.jp2)
  10. 3 SPECIFICATION REALIZATION / p25 (0031.jp2)
  11. 3.1 Introduction / p25 (0031.jp2)
  12. 3.2 Background / p26 (0032.jp2)
  13. 3.3 Specification realization / p28 (0034.jp2)
  14. 3.4 Interface design / p37 (0043.jp2)
  15. 3.5 Experiment and conclusion / p43 (0049.jp2)
  16. 4 AUTOMATIC PROGRAM GENERATION / p46 (0052.jp2)
  17. 4.1 Introduction / p46 (0052.jp2)
  18. 4.2 General description / p47 (0053.jp2)
  19. 4.3 Generator realization / p51 (0057.jp2)
  20. 4.4 Experiment and conclusion / p65 (0071.jp2)
  21. 5 REUSABILITY ENHANCEMENT / p70 (0076.jp2)
  22. 5.1 Introduction / p70 (0076.jp2)
  23. 5.2 General description / p71 (0077.jp2)
  24. 5.3 Representation / p81 (0087.jp2)
  25. 5.4 Retrival environment / p86 (0092.jp2)
  26. 5.5 Enriching the reusable repository / p92 (0098.jp2)
  27. 5.6 Experiment and conclusion / p96 (0102.jp2)
  28. 6 EVALUATION AND CONCLUSION / p97 (0103.jp2)
  29. 6.1 Evaluation / p97 (0103.jp2)
  30. 6.2 Conclusion / p100 (0106.jp2)
  31. ACKNOWLEDGEMENT / p102 (0108.jp2)
  32. REFERENCES / p103 (0109.jp2)
0アクセス

各種コード

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