...将两种方法进行综 合，即首先在业务的概要设计阶段引入软件工程技术，运用基于可视化场景的描 述方法用例图（UCM，Use Case Map）来初步过滤业务冲突；然后在业务的详绌 设计阶段引入形式化方法，运用形式化工具状态转换规则语言（STR...
基于10个网页-相关网页
use case map
用例图
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动