统一建模语言顺序图相关硕士博士期刊学术论文 - 信丰网

统一建模语言顺序图相关论文

基于时序描述逻辑的UML顺序图形式化方法

根据统一建模语言（UML）顺序图的时序特征，提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和......

期刊

时序描述逻辑统一建模语言顺序图静态语义动态语义形式化规约形式化验证 temporal description logic Unified Modeli

看过本文同时还关注