时序扩展相关硕士博士期刊学术论文 - 皮皮文库

时序扩展相关论文

基于时序描述逻辑的UML状态图语义研究

统一建模语言(Unified Modeling Language) UML简洁、直观,便于建模人员之间的交流与沟通,适用于软件开发的各个阶段。然而,UML缺......

学位

描述逻辑时序扩展时序描述逻辑 UML状态图形式化

基于描述逻辑的UML行为图的形式化研究

统一建模语言(Unified Modeling Language, UML)是一种通用的图形建模语言,它已成为面向对象分析和设计的工业标准。UML采用元模型......

学位

UML活动图形式化方法描述逻辑时序扩展时序描述逻辑

看过本文同时还关注