计算机与现代化Issue(11)：12-13,16,3.
UML用例图的Z形式规范
Formal Specification of UML Use Case Diagram with Z Notation
汤小康 1王志刚 1曹步文1
作者信息
- 1. 湖南师范大学数学与计算机学院,湖南,长沙,410081
- 折叠
摘要
关键词
统一建模语言/用例图/形式化/Z语言分类
信息技术与安全科学引用本文复制引用
汤小康,王志刚,曹步文..UML用例图的Z形式规范[J].计算机与现代化,2006,(11):12-13,16,3.
