...将两种方法进行综 合，即首先在业务的概要设计阶段引入软件工程技术，运用基于可视化场景的描 述方法用例图（UCM，Use Case Map）来初步过滤业务冲突；然后在业务的详绌 设计阶段引入形式化方法，运用形式化工具状态转换规则语言（STR...
基于4个网页-相关网页
...网 检测模型，将两种方法进行综 合，即首先在业务的概要设计阶段引入软件工程技术，运用基于可视化场景的描 述方法用例图（UCM，UseCase Map）来初步过滤业务冲突；然后在业务的详细 设计阶段引入形式化方法，运用形式化工具状态转换规则语言（STR...
基于2个网页-相关网页