包书勇

作品数：1被引量：1H指数：1
导出分析报告
供职机构：安徽工程大学计算机与信息学院更多>>
发文主题：接口自动机网构软件体系结构描述语言更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
所获基金：安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
网构软件演化的业务一致性验证方法被引量：1
《计算机工程》2011年第17期29-31,共3页包书勇 王忠群 
安徽省自然科学基金资助项目(070412058)
为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法。基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程。通...
关键词：网构软件 动态演化 业务一致性 接口自动机 体系结构描述语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部