您的位置： 专家智库 > >

陈宗岳

作品数：1 被引量：4H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇软件开发
  • 1篇计算机
  • 1篇分布式
  • 1篇分布式程序

机构

  • 1篇南京大学

作者

  • 1篇顾庆
  • 1篇陈宗岳
  • 1篇陈道蓄
  • 1篇谢立

传媒

  • 1篇计算机学报

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
E-CSPE约束的一致性判定被引量：4
2003年
分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之间的一致性判定机制 .该算法具有多项式复杂度 .
顾庆陈宗岳陈道蓄谢立
关键词：软件开发分布式程序计算机
全选 清除 导出
共1页<1>
聚类工具0