语言的抽象、封装与变换型开发方法

• 作者: 张乃孝 裘宗燕 郑红军
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 形式方法 软件模型 变换型方法 语言抽象 语言封装 语言族 语言知识库 软件重用 Garment
• 年，卷（期）: 1998,（7）
• 页码范围: 0
• 页数: 1页
• 分类号: TP311
• 语种: 中文

摘要

该文提出了一种系统的软件开发方法--面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用"规范+变换"抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裘宗燕	北京大学数学科学学院信息科学系	15	93	5.0	9.0
2	郑红军	北京大学计算机科学系	3	17	2.0	3.0
3	张乃孝	北京大学数学科学学院信息科学系	11	118	7.0	10.0