未找到相关数据
语言的抽象、封装与变换型开发方法
被引：3
作者：
张乃孝
郑红军
裘宗燕
机构：
[1] 北京大学数学科学学院信息科学系
[2] 北京大学计算机科学系
来源：
关键词：
形式方法，软件模型，变换型方法，语言抽象，语言封装，语言族，语言知识库，软件重用，Garment．;
D O I：
10.13328/j.cnki.jos.1998.07.003
中图分类号：
TP311, [];
学科分类号：
081202 ;
0835 ;
摘要：
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法．这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范＋变换”抽象软件开发过程．为支持这种方法，提出了语言的一种抽象与封装机制Ｇａｒｍｅｎｔ，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和扩充关系．最后，以语言知识库为核心，简要介绍了支持用Ｇａｒｍｅｎｔ进行变换型开发的系统结构和工作流程．
引用
收藏
页码：17 / 21
页数：5
相关论文