您的位置： 专家智库 > >

王伟

作品数：1 被引量：0H指数：0
供职机构：南京大学软件学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇共享

机构

  • 1篇南京大学

作者

  • 1篇骆斌
  • 1篇丁二玉
  • 1篇王伟

传媒

  • 1篇计算机科学

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于抽象状态的类的行为规格化方法
2016年
为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证。
王伟丁二玉丁二玉
全选 清除 导出
共1页<1>
聚类工具0