标记迁移系统相关论文
软件工程的第一步是需求分析，准确的分析需求对软件开发具有重要的意义。现实中，由于在需求的采集和细化阶段对系统的理解不全面，或者......
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用......
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间......
提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计＂链存在、链缺失......
互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Jav......
在有色Petri网的状态空间中，有时一些状态具有相似的行为，这些状态可以用定义在状态空间上的一致的等价关系来表达，对每个等价状态类......
余代数上的不变量在理论计算机科学中占有十分重要的地位，本文借助文献[1]的思想建立弱不变量的定义，讨论了弱不变量的性质以及与不......
软件测试是软件开发重要的一部分，是保证软件质量，提高软件可靠性的重要途径。测试在需求分析阶段就开始介入，而在现实中很多需求是不......
在多核和并发技术得到广泛应用的今天，如何有效地调试并发程序，成为一个重要且亟待解决的研究课题．并发程序的不确定性及其行为的复杂......
