Change Impact Analysis for Refinement-Based Formal Specification
Change Impact Analysis for Refinement-Based Formal Specification
复制标题
基于细化的形式规范的变更影响分析
DOI：
10.1587/transinf.2018fop0006
复制
发表时间：
2019
影响因子：
0.7
通讯作者：
HONIDEN Shinichi
中科院分区：
文献类型：
--
作者：
SARUWATARI Shinnosuke;ISHIKAWA Fuyuki;KOBAYASHI Tsutomu;HONIDEN Shinichi
登录
查看更多内容
Prolog的向后切片算法
DOI：
10.1007/3-540-61739-6_50
发表时间：
1996
期刊：
--
影响因子：
--
作者：
S. Schoenig;M. Ducassé
通讯作者：
M. Ducassé
DOI：
10.1007/978-3-642-33170-1_3
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Gmehlich R
通讯作者：
Gmehlich R
B 事件中巡航控制系统形式化建模指南的评估
DOI：
--
发表时间：
2010
期刊：
NASA Formal Methods
影响因子：
--
作者：
R. Rosenthal;K. Fode
通讯作者：
K. Fode
重构 Event-B 机器的细化结构
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa;and Shinichi Honiden
通讯作者：
and Shinichi Honiden
从需求变更到设计变更：正式路径
DOI：
10.1109/sefm.2004.20
发表时间：
2004
期刊：
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.
影响因子：
--
作者：
Lian Wen;R. Dromey
通讯作者：
R. Dromey