论文部分内容阅读
该文提出了一种系统的软件开发方法－面向模型的变换型软件开发方法。这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过程，为支持这种方法，提出了语言的一种抽象与封装机制Ｇａｒｍｅｎｔ，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和扩充关系。最后，以语言知识库为核心，简要介绍了支持用Ｇａｒｍｅ