迁移图相关硕士博士期刊学术论文 - 搜论网

迁移图相关论文

模态逻辑的LTS操作语义

本文针对一种典型的直觉主义模态逻辑系统IS4引进了一种基于标记迁移系统的操作语义，将模态逻辑系统IS4的推理规则与过程可视化。由......

学位

标记迁移系统迁移模式迁移图语义图

基于UML2.0的软件安全测试方法

提出了一种从LIML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测......

会议

软件安全性测试序列图软件测试方法测试用例集自动化水平早期阶段软件设计开发过程基于模型测试技术新特征迁移图转换事件基础

看过本文同时还关注