Theories, methodologies, and tools for intelligent software code generation

点击翻译按钮获取中文摘要

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.