Problem model design/transformation-based program development 問題モデル設計・変換によるプログラム開発に関する研究

この論文をさがす

著者

    • 李, 春野 リ, チュンイー

書誌事項

タイトル

Problem model design/transformation-based program development

タイトル別名

問題モデル設計・変換によるプログラム開発に関する研究

著者名

李, 春野

著者別名

リ, チュンイー

学位授与大学

東京大学

取得学位

博士 (工学)

学位授与番号

甲第9538号

学位授与年月日

1992-03-30

注記・抄録

博士論文

目次

  1. Contents / p7 (0009.jp2)
  2. 1 Introduction / p1 (0017.jp2)
  3. 1.1 Motivation and Objectives / p1 (0017.jp2)
  4. 1.2 Organization of the Thesis / p4 (0020.jp2)
  5. 2 Problem Solving / p7 (0023.jp2)
  6. 2.1 The Conventional Approach / p7 (0023.jp2)
  7. 2.2 Knowledge Base Approach / p10 (0026.jp2)
  8. 2.3 Object-centered Problem Solving / p11 (0027.jp2)
  9. 2.4 Discussion / p14 (0030.jp2)
  10. 3 Research Survey / p17 (0033.jp2)
  11. 3.1 Software Development Processes / p17 (0033.jp2)
  12. 3.2 Various Approaches to Automatic Programming / p20 (0036.jp2)
  13. 3.3 AI Application / p22 (0038.jp2)
  14. 4 Overview of PROMODE / p27 (0043.jp2)
  15. 4.1 Perspective of Automatic Programming / p28 (0044.jp2)
  16. 4.2 System Architecture / p36 (0052.jp2)
  17. 4.3 Life Cycle-Development,Evolution and Maintenance / p39 (0055.jp2)
  18. 4.4 Requirement to Knowledge Processing Systems / p41 (0057.jp2)
  19. 5 Supporting Theory and Technology / p43 (0059.jp2)
  20. 5.1 MLL / p43 (0059.jp2)
  21. 5.2 KAUS System and the Language / p45 (0061.jp2)
  22. 5.3 Meta Knowledge and Large Scale Problem Solving / p49 (0065.jp2)
  23. 6 Problem Model Design Subsystem / p53 (0069.jp2)
  24. 6.1 Problem Model Representation / p54 (0070.jp2)
  25. 6.2 AND/OR Representation / p60 (0076.jp2)
  26. 6.3 Knowledge Bases / p60 (0076.jp2)
  27. 6.4 Model Evaluation / p71 (0087.jp2)
  28. 6.5 Man-machine Interaction and User Interface / p76 (0092.jp2)
  29. 6.6 Discussion / p82 (0098.jp2)
  30. 7 Model Transformation / p83 (0099.jp2)
  31. 7.1 Knowledge Selection / p84 (0100.jp2)
  32. 7.2 Semantic Transformation / p88 (0104.jp2)
  33. 7.3 Program Generation / p90 (0106.jp2)
  34. 7.4 Optimization / p98 (0114.jp2)
  35. 8 Experiment and Result / p101 (0117.jp2)
  36. 8.1 System Implementation / p101 (0117.jp2)
  37. 8.2 Examples / p104 (0120.jp2)
  38. 9 Comparison with Related Research and Conclusion / p113 (0129.jp2)
  39. 9.1 Comparison with Related Approaches / p113 (0129.jp2)
  40. 9.2 Conclusion / p117 (0133.jp2)
  41. 9.3 Future Work / p118 (0134.jp2)
0アクセス

各種コード

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