%0 Journal Article
%T 语言的抽象、封装与变换型开发方法
%A 张乃孝
%A 裘宗燕
%A 郑红军
%J -
%D 1998
%X 该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程
%K 形式方法
%K 软件模型
%K 变换型方法
%K 语言抽象
%K 语言封装
%K 语言族
%K 语言知识库
%K 软件重用
%K Garment.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19980703&flag=1