陈盼

作品数：2被引量：1H指数：1
导出分析报告
供职机构：华中师范大学计算机学院更多>>
发文主题：活性线性时序逻辑重写逻辑顺序图开销更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：中央高校基本科研业务费专项资金教育部人文社会科学研究基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于活性顺序图的运行时验证研究被引量：1
《计算机科学》2016年第8期137-141,164,共6页叶俊民 张坤 叶竹君 陈盼 陈曙 
国家科技支撑计划项目(2015BAK33B00);中央高校基本科研业务费专项资金科研项目(CCNU15GF003);教育部人文社会科学研究规划基金(15YJA880095)资助
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重...
关键词：活性顺序图 线性时序逻辑 重写逻辑 运行时验证 
运行时验证中的减少监控开销方法研究
《计算机科学》2016年第5期162-168,共7页徐胜 叶俊民 陈曙 金聪 陈盼 
国家科技支撑计划项目(2015BAK33B00);教育部人文社会科学研究规划基金(15YJA880095);中央高校基本科研业务费专项资金科研项目(CCNU15GF003)资助
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后...
关键词：运行时验证 监控开销 开销控制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部