Goal-Satisfaction Verification to Combination of Use Case Component,
Goal-Satisfaction Verification to Combination of Use Case Component,
复制标题
用例组件组合的目标满意度验证，
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Shinpei Ogata and Yoshitaka Aoki
中科院分区：
文献类型：
--
作者：
Saeko Matsuura;Shinpei Ogata and Yoshitaka Aoki
使用模型检查技术验证基于 UML 的需求规范的安全需求
DOI：
10.1109/ret.2014.6908674
发表时间：
2014
期刊：
2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)
影响因子：
--
作者：
Yoshitaka Aoki;Saeko Matsuura
通讯作者：
Saeko Matsuura