期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向对象Z的子类型继承和推理规则
被引量：
3
1
作者
王云峰
seg.nju.edu.cn
+1 位作者
李必信
郑国梁
《软件学报》
EI
CSCD
北大核心
2000年第4期481-487,共7页
讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所...
讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 E.Cusack等人的方法相比 ,具有可构造性 ,并且比L
展开更多
关键词
面向对象
继承
子类型
软件开发方法
推理规则
在线阅读
下载PDF
职称材料
对象存储系统形式化研究
被引量：
2
2
作者
谭支鹏
冯丹
《计算机科学》
CSCD
北大核心
2006年第12期16-18,共3页
对象存储系统是近来兴起的存储领域研究热点,它改变了传统的存储模式,用对象接口取代了传统的块接口。作为下一代互联网存储模式的关键技术——对象存储,它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问...
对象存储系统是近来兴起的存储领域研究热点,它改变了传统的存储模式,用对象接口取代了传统的块接口。作为下一代互联网存储模式的关键技术——对象存储,它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问题迎刃而解。对象作为对象存储系统的基本单位,它的管理将是系统管理的关键。为了更好地研究对象存储系统对象的管理,本文对对象的形式化做了系统的研究。首先根据对象存储系统的实际给出了对象存储系统中对象的形式化描述;接着我们给出了对象存储系统的形式化描述;最后讨论了对象存储系统中对象间的关系,并通过这些对象间的关系推导出一种对象存储系统模式。对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。
展开更多
关键词
对象
对象存储系统
形式化
继承
在线阅读
下载PDF
职称材料
题名
面向对象Z的子类型继承和推理规则
被引量：
3
1
作者
王云峰
seg.nju.edu.cn
李必信
郑国梁
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2000年第4期481-487,共7页
基金
国家自然科学基金!(No.69673006 )
国家"九五"科技攻关项目基金!(No.98-780-01-07-06)资助
文摘
讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 E.Cusack等人的方法相比 ,具有可构造性 ,并且比L
关键词
面向对象
继承
子类型
软件开发方法
推理规则
Keywords
Formal method,
object
oriented,
inherit
ance, subtyping, formal specification.
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
对象存储系统形式化研究
被引量：
2
2
作者
谭支鹏
冯丹
机构
华中科技大学计算机学院教育部信息存储重点实验室
出处
《计算机科学》
CSCD
北大核心
2006年第12期16-18,共3页
基金
国家重点基础研究发展计划项目973资助
项目名称:下一代互联网信息存储的组织模式和核心技术研究
项目编号:2004CB318201。
文摘
对象存储系统是近来兴起的存储领域研究热点,它改变了传统的存储模式,用对象接口取代了传统的块接口。作为下一代互联网存储模式的关键技术——对象存储,它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问题迎刃而解。对象作为对象存储系统的基本单位,它的管理将是系统管理的关键。为了更好地研究对象存储系统对象的管理,本文对对象的形式化做了系统的研究。首先根据对象存储系统的实际给出了对象存储系统中对象的形式化描述;接着我们给出了对象存储系统的形式化描述;最后讨论了对象存储系统中对象间的关系,并通过这些对象间的关系推导出一种对象存储系统模式。对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。
关键词
对象
对象存储系统
形式化
继承
Keywords
object
,
object storage system
,
formalization
,
inherit
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向对象Z的子类型继承和推理规则
王云峰
seg.nju.edu.cn
李必信
郑国梁
《软件学报》
EI
CSCD
北大核心
2000
3
在线阅读
下载PDF
职称材料
2
对象存储系统形式化研究
谭支鹏
冯丹
《计算机科学》
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
