-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=标记转换系统 "
共 条 记 录，以下是1-3

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
体系结构层状态型方面的建模和编织——基于LTS的方法被引量：1
《计算机学报》2011年第2期342-352,共11页杨春花 王海洋 
国家自然科学基金(60673130)资助
状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelle...
关键词：方面 状态型方面 编织 标记转换系统 面向方面的软件开发 
安全苛刻系统自动化测试的形式化语义模型被引量：5
《软件学报》2014年第3期489-505,共17页吕江花 马世龙 李先军 高世伟 
国家自然科学基金(61300007;61003016);软件开发环境国家重点实验室开放基金(SKLSDE-2012ZX–28;SKLSDE-2013ZX-11)
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient...
关键词：安全苛刻系统 测试 自动化测试 设备协同 高阶演算 标记转换系统 实时 
结构化标记转换系统的部分互模拟与共变-逆变模拟被引量：1
《成都信息工程学院学报》2014年第5期471-478,共8页黄振华 
国家自然科学基金资助项目(60973045)
结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间的部分互模拟与共变-逆变模拟之间存在诸多相似之处,为了更深入地研究两者的关系,引入Institution框架。...
关键词：计算机软件与理论 进程代数 标记转换系统 结构化标记 部分互模拟 共变-逆变模拟 INSTITUTION 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部