计算机工程2010，Vol.36Issue(13)：30-33,4.
基于UML的软件形式化需求分析与验证
Software Formalization Requirements Analysis and Verification Based on UML
姚全珠 1王江1
作者信息
- 1. 西安理工大学计算机科学与工程学院,西安710048
- 折叠
摘要
关键词
需求分析/形式化方法/统一建模语言/需求验证分类
信息技术与安全科学引用本文复制引用
姚全珠,王江..基于UML的软件形式化需求分析与验证[J].计算机工程,2010,36(13):30-33,4.
