结构操作语义相关论文
采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则，并采用该方法描述了身份验证过程对应的操作顺序．这为基于UML顺序图的......
为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概......
为了增强带测试克林代数（KAT）的表达能力，提出了一种加概率的带测试克林代数（PKAT）的理论，并将其应用于对加概率正则程序的推演。将概率......
