一致性验证相关论文
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
电力设备的在线监测和故障检测中,多传感器图像可以从不同的角度描述电力设备的特征:红外图像不受环境限制,可以反映设备的温度信......
为了在传统变电站改造为智能变电站的过程中，灵活接入集群测控系统的智能电子装置配置描述（IED configuration description, ICD）模型......
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位
近年来,具有多学科高度交叉特点的物联网已逐渐成为信息产业的新兴研究热点,各国都将其视为重要战略部署。在中国,物联网发展的体......
缺乏对时间管理的支持是当今工作流管理系统的一个重要不足,也是工作流技术实施复杂企业应用的严重局限。开展工作流时间管理的研......
随着1993年工作流管理联盟(WorkflowManagementCoalition)的成立，工作流技术得到了长足的发展，并且成功地运用在工业，农业，航天等众多......
随着计算机软件模型日趋复杂以及大规模与并发系统的应用，如何保证系统模型的正确性、一致性成为当前研究的热点。本课题以面向任务......
软件是否严格按照设计要求实现，是软件质量评估的重要标准，是软件测试的一项重要工作。人工遍历的方法分析软件设计与实现的一致性是......
时间管理是工作流管理系统的重要组成部分。企业应用越复杂,对工作流时间管理技术的要求越高。由于时间概念表示、分析的复杂性,以......
随着领域需求的不断变化，使得领域软件的规模和复杂性不断增加，导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程......
由于社会网络的广泛传播性、动态性以及多样性,受到越来越多的用户欢迎,大量社会网络服务网站快速崛起。人们利用社会网络提供的服......
我国的PKI标准在制定时参考了国际或国外标准制定组织的标准,因此这些标准在使用时,之间的一致性难以得到保障。这就使得对这些标......
随着计算机技术、通信技术和网络技术的飞速发展,计算机系统的安全性日益受到重视,访问控制作为一种重要的安全技术,已经渗透到操......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成......
