Software Engineering with a Transformational System

具有转型系统的软件工程

• 批准号: 9503319
• 负责人: David Gries
• 金额: --
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1999-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9503319&HistoricalAwards=false
• 关键词: Software; Engineering; Transformational; System

The goal of the Polya project is to increase productivity in the development and maintenance of programs, by placing more emphasis on the user interface within the programming language itself. This research seeks new ways to write programs, to make programs efficient, and to reuse program parts. It is concerned directly with software engineering and rapid prototyping. The programming language Polya incorporates new mechanisms that allow a group of people to define and use notations of their problem domain, so that programs can more closely resemble the algorithms being used. Secondly, Polya has mechanisms that make it easier to describe how variables of high-level types should be implemented, requiring fewer modifications to the algorithm than is the case with more traditional languages. The transform, a new kind of program part, can be reused with relative ease. A prototype implementation of Polya uses the Synthesizer Generator as the platform. This research focuses on three areas: (1) research aimed at a significant extension of the pattern matching capabilities of the Polya transformational approach and exploration of new ideas on reverse engineering; (2) experimentation with Polya, in order to develop a library of useful program parts; (3) practical and theoretical improvements to Polya, its implementation, and related tools such as a source-level debugger.

Polya项目的目标是通过更加强调编程语言本身的用户界面来提高程序开发和维护的生产力。这项研究寻求新的方法来编写程序，使程序的效率，并重用程序的一部分。它直接与软件工程和快速原型设计有关。 编程语言Polya引入了新的机制，允许一组人定义和使用他们的问题域的符号，以便程序可以更接近所使用的算法。其次，Polya有一些机制，可以更容易地描述高级类型的变量应该如何实现，与传统语言相比，需要对算法进行更少的修改。 变换部分是一种新的程序部分，可以相对容易地重用。Polya的原型实现使用合成器生成器作为平台。 本研究主要集中在以下三个方面：（1）对Polya转换方法的模式匹配能力进行扩展，探索逆向工程的新思路;（2）对Polya进行实验，以开发有用的程序部件库;（3）对Polya及其实现和相关工具（如源代码级调试器）的实践和理论改进。