基于Z规范的统一建模语言序列图语义分析方法

机译：通过统一建模语言序列图自动生成代码

机译：将UML序列图（统一建模语言）扩展为面向方面的建模

机译：对学生开发统一建模语言（UML）类和序列图遇到的困难的调查

机译：面向参与者的模型中UML序列图的替代执行语义的规范

机译：生物医学序列图像的语义富集和相似度近似

机译：人类线粒体DNA稳定性的评估：非规范DNA结构和序列图案的作用的新见解。

机译：Web服务属性序列图监视器：使用基于场景的规范监视基于BPEL的Web服务组成的工具链

机译：科学与工程规范的语义分析方法

机译：基于多条件控制流程图的统一建模语言序列图生成多级测试用例的装置和方法

机译：基于统一建模语言序列图的多条件控制流图生成多级测试用例的设备和方法

机译：基于统一建模语言序列图的多条件控制流图的多级测试案例生成的装置和方法