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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

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

陈振庆

Formal Method of UML Sequence Diagram Based on Temporal Description Logic

CHEN Zhen-Qiang

计算机工程 . 2013, (3): 36 -40 . DOI: 10.3969/j.issn.1000-3428.2013.03.008