舰船电子工程2009，Vol.29Issue(9)：188-192,5.
形式化可测性约束在软件模型实现过程中的研究
Research on Necessary Formalization Restrict Definition in Software Usage Model
齐玉华 1郭天杰 2陶政德 1程春华1
作者信息
- 1. 海军航空工程学院研究生管理大队,烟台,264001
- 2. 海军航空工程学院兵器科学与技术系烟台,264001
- 折叠
摘要
关键词
软件测试/UML建模语言/使用模型/形式化可测性约束分类
信息技术与安全科学引用本文复制引用
齐玉华,郭天杰,陶政德,程春华..形式化可测性约束在软件模型实现过程中的研究[J].舰船电子工程,2009,29(9):188-192,5.
