福建师范大学学报（自然科学版）2010，Vol.26Issue(3)：26-30,39,6.
UML活动图的一种逻辑语义
A Logic Semantic for UML Activity Diagrams
林添荣 1蒋建民1
作者信息
- 1. 福建师范大学数学与计算机科学学院,福建,福州350108
- 折叠
摘要
关键词
UML活动图/软件过程/形式语义/Hoare逻辑分类
信息技术与安全科学引用本文复制引用
林添荣,蒋建民..UML活动图的一种逻辑语义[J].福建师范大学学报（自然科学版）,2010,26(3):26-30,39,6.
