Program Generation for Application Domain Users by Selecting Model Candidates
説明
This study has proposed a method for software development in application domains such as control engineering. A new method is requested: (1) to reduce or remove communication between application domain and software engineering domain, (2) to provide a simple modeling scheme, and (3) to decrease knowledge-capturing cost. The process of the method is: capturing the knowledge in the target domain, defining the target program denotatively, generating model candidates automatically, selecting the model satisfied requirements, transforming the model into source code in a target language automatically, and evaluating the source code. This cooperation between computers and domain experts achieves both automatic model construction and identifying the solution.
