数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
语言的抽象、封装与变换型开发方法作者：张乃孝 郑红军 裘宗燕原载：软件学报 Vol.9.No.7.P496-500 1998.7 摘要：本文提出了一种系统的软件开发方法—面向模型的变换型软件开发 方法。这种方法把数据抽象的思想提高到语言抽象层次；把一类专用软件的规 范抽象为语言的规范；把这类软件的实现抽象为语言的归约变换；用“规范+变 换”抽象软件开发过程。为支持这种方法，本文提出了语言的一种抽象与封装机 制Garment，以此定义语言中各成分的语法和语义，描述语言间的继承、屏蔽和 扩充关系。最后，本文以语言知识库为核心，简要介绍了支持用Garment 进行变 换型开发的系统结构和工作流程。 关键词: 形式方法 软件模型 变换型方法 语言抽象 语言封装 语言族 语言知识库 软件重用 Garment 下载：[pdf]
论文著作的详细列表
|
|||