Problem model design/transformation-based program development 問題モデル設計・変換によるプログラム開発に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Problem model design/transformation-based program development
- Other Title
-
問題モデル設計・変換によるプログラム開発に関する研究
- Author
-
李, 春野
- Author(Another name)
-
リ, チュンイー
- University
-
東京大学
- Types of degree
-
博士 (工学)
- Grant ID
-
甲第9538号
- Degree year
-
1992-03-30
Note and Description
博士論文
Table of Contents
- Contents / p7 (0009.jp2)
- 1 Introduction / p1 (0017.jp2)
- 1.1 Motivation and Objectives / p1 (0017.jp2)
- 1.2 Organization of the Thesis / p4 (0020.jp2)
- 2 Problem Solving / p7 (0023.jp2)
- 2.1 The Conventional Approach / p7 (0023.jp2)
- 2.2 Knowledge Base Approach / p10 (0026.jp2)
- 2.3 Object-centered Problem Solving / p11 (0027.jp2)
- 2.4 Discussion / p14 (0030.jp2)
- 3 Research Survey / p17 (0033.jp2)
- 3.1 Software Development Processes / p17 (0033.jp2)
- 3.2 Various Approaches to Automatic Programming / p20 (0036.jp2)
- 3.3 AI Application / p22 (0038.jp2)
- 4 Overview of PROMODE / p27 (0043.jp2)
- 4.1 Perspective of Automatic Programming / p28 (0044.jp2)
- 4.2 System Architecture / p36 (0052.jp2)
- 4.3 Life Cycle-Development,Evolution and Maintenance / p39 (0055.jp2)
- 4.4 Requirement to Knowledge Processing Systems / p41 (0057.jp2)
- 5 Supporting Theory and Technology / p43 (0059.jp2)
- 5.1 MLL / p43 (0059.jp2)
- 5.2 KAUS System and the Language / p45 (0061.jp2)
- 5.3 Meta Knowledge and Large Scale Problem Solving / p49 (0065.jp2)
- 6 Problem Model Design Subsystem / p53 (0069.jp2)
- 6.1 Problem Model Representation / p54 (0070.jp2)
- 6.2 AND/OR Representation / p60 (0076.jp2)
- 6.3 Knowledge Bases / p60 (0076.jp2)
- 6.4 Model Evaluation / p71 (0087.jp2)
- 6.5 Man-machine Interaction and User Interface / p76 (0092.jp2)
- 6.6 Discussion / p82 (0098.jp2)
- 7 Model Transformation / p83 (0099.jp2)
- 7.1 Knowledge Selection / p84 (0100.jp2)
- 7.2 Semantic Transformation / p88 (0104.jp2)
- 7.3 Program Generation / p90 (0106.jp2)
- 7.4 Optimization / p98 (0114.jp2)
- 8 Experiment and Result / p101 (0117.jp2)
- 8.1 System Implementation / p101 (0117.jp2)
- 8.2 Examples / p104 (0120.jp2)
- 9 Comparison with Related Research and Conclusion / p113 (0129.jp2)
- 9.1 Comparison with Related Approaches / p113 (0129.jp2)
- 9.2 Conclusion / p117 (0133.jp2)
- 9.3 Future Work / p118 (0134.jp2)