期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
对象描述语言及其指称描述 被引量：5
1
作者 黄涛 冯玉琳 +1 位作者 倪彬 李京 《软件学报》 EI CSCD 北大核心 1996年第10期577-586,共10页
在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．Ｓ... 在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。 展开更多
关键词 面向对象 对象描述语言 指称描述
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部