您的位置： 专家智库 > >

梅一鸣

作品数：1 被引量：1H指数：1
供职机构：南京大学计算机科学与技术系更多>>
发文基金：江苏省产学研联合创新资金项目国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

机构

  • 1篇南京大学
  • 1篇计算机软件新...

作者

  • 1篇陈鑫
  • 1篇张一帆
  • 1篇梅一鸣
  • 1篇黄超

传媒

  • 1篇软件学报

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向方面设计中干涉问题的分析工具被引量：1
2016年
干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具,它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中无干涉存在或者为修正干涉问题提供线索.
陈鑫黄超张一帆梅一鸣
全选 清除 导出
共1页<1>
聚类工具0