Theories, methodologies, and tools for intelligent software code generation

智能软件代码生成的理论、方法和工具

• 批准号: 239050-2007
• 负责人: Wang, Yingxu
• 金额: $ 1.09万
• 依托单位: University of Calgary
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=362745
• 关键词: Theories; methodologies; tools; intelligent; software

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.

人们认识到，软件工程作为高科技学科之一，在应急软件开发中使用的是最低技术--人力。现在，似乎是时候把重点转向各种应用软件代码自动生成的根本需求上了。自动生成程序既是软件工程和软件行业的终极目标，也是严峻的挑战。这项研究计划提出了对软件代码生成的理论、方法和智能支持工具的研究。本项目的目标如下：a)基于软件工程、认知信息学和指称数学的最新发展，研究智能软件代码生成的跨学科理论。B)探索在软件系统的概念模型、形式模型和代码之间进行连贯集成和自动转换的适用方法。C)实现智能软件代码生成系统的支持环境和工具。D)将智能软件代码生成工具的方法和技术转移到软件行业。这项工作的完成将导致软件行业尖端技术的发展，取代密集的依赖劳动力的编程实践。这项工作将加强加拿大在软件科学和工程方面的基础研究。拟议方案中开发的智能工具和系统将直接惠及加拿大软件业和以信息/知识为基础的新经济。