薛锦 meaning in English
setsukin
Examples
- Herein , we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的par方法，对算法程序进行形式化推导，得到其抽象算法。 - Par is a practical environment for formal development of algorithmic programs , which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，提出了一种实用的开发和证明算法的方法? ? par 。 - Main jobs in this paper including following aspects : 1 , research the content and application of j2ee technology 2 , research learning theory and icai design principle 3 , realize new model of programming icai environment
本文所做的工作主要有： 1 、研究j2ee技术的主要内容与应用方案， 2 、研究各种学习理论与cai的设计原则， 3 、实现薛锦云教授提出的新型程序设计智能cai环境的模型。 - In order to modify the current situation of software development , improving the reliability of the products , pro . xue put forward a generally accommodated method - par method which create a new approach for programming
为了改变软件发展的现状，提高软件产品的可靠性，薛锦云教授在多个国家级课题的资助下提出了一种普遍适用的算法程序形式化开发方法? ? par方法，开辟了程序设计的新途径。 - Research in this paper is in the context of the nation ' s natural science fund project " the research of applied formal develop methods and their tools " which are charged by professor xue . this research realized a programming icai platform to help learner develop normative and high - quality program
本文以中科院博士生导师，江西师范大学薛锦云教授承担的两个国家自然科学基金高技术探索项目：实用的软件形式化方法和高可靠性java程序开发方法研究为背景，初步实现了一个能够帮助学员规范地设计出高质量程序的程序设计智能教学软件平台。