Theories, methodologies, and tools for intelligent software code generation

软件工程作为一门高技术学科，在软件开发过程中使用的是最低技术水平的人力劳动。现在，似乎是时候把重点放在为各种应用程序自动生成软件代码的基本需求上了。 程序自动生成是软件工程和软件产业的终极目标，也是一个坚韧的挑战。本研究计画主要探讨软体程式码产生之理论、方法及智慧型支援工具。本计画的目标如下：a）以软体工程、认知资讯学及指称数学的最新发展为基础，探讨智慧型软体程式码产生的跨学科理论。B）探索软件系统的概念模型、形式模型和代码之间的一致集成和自动转换的适用方法。c）实现智能软件代码生成系统的支撑环境和工具。d）将智能软件代码生成工具的方法和技术转移到软件业。这项工作的完成将导致软件业发展尖端技术，以取代依赖密集劳动力的编程实践。这项工作将加强加拿大在软件科学和工程方面的基础研究。在拟议的计划中开发的智能工具和系统将直接有利于加拿大软件业和信息/知识为基础的新经济。

It is recognized that software engineering, as one of the high-technology disciplines, is using the lowest technology - human labor - in contingent software development. Now, it seems to be the time to turn the focus on the fundamental needs for automatic generation of software code for various applications.      Automatic program generation is both an ultimate goal and a tough challenge in software engineering and the software industry. This research program proposes the investigation into theories, methodologies, and intelligent supporting tools for software code generation. The objectives of this project are as follows: a) To investigate the transdisciplinary theories of intelligent software code generation based on the latest development in software engineering, cognitive informatics, and denotational mathematics. b) To explore applicable methodologies for the coherent integration and automatic transformation between conceptual models, formal models, and code of software systems. c) To implement a supporting environment and tool for the intelligent software code generation system. d) To transfer the methodologies and technologies of the intelligent software code generation tools to the software industry.The completion of this work will lead to the development of cutting-edge techniques for the software industry that would replace the intensive labor-dependent programming practice. This work will strengthen the Canadian fundamental research in software science and engineering. The intelligent tools and systems developed in the proposed program will directly benefit the Canadian software industry and the information/knowledge-based new economy.