Refactoring Refinement Structures of Event-B Machines
Refactoring Refinement Structures of Event-B Machines
复制标题
重构 Event-B 机器的细化结构
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
and Shinichi Honiden
中科院分区：
文献类型：
--
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa;and Shinichi Honiden
登录
查看更多内容
DOI：
10.1007/978-3-319-24255-2_4
发表时间：
2015
期刊：
--
影响因子：
--
作者：
A. Tarasyuk;Inna Pereverzeva;E. Troubitsyna;T. Latvala
通讯作者：
T. Latvala
DOI：
10.1016/j.entcs.2004.04.014
发表时间：
2004
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
Rohit Gheyi;Paulo Borba
通讯作者：
Paulo Borba
OCL 气味和重构对 OCL 规范可理解性影响的实证研究
DOI：
10.1007/978-3-540-75209-7_6
发表时间：
2007
期刊：
--
影响因子：
--
作者：
A. L. Correa;C. Werner;M. Barros
通讯作者：
M. Barros
Object-Z 的最小重构规则集
DOI：
10.1007/978-3-540-68863-1_11
发表时间：
2008
期刊：
2004 Australian Software Engineering Conference. Proceedings.
影响因子：
--
作者：
Tim McComb;Graeme Smith
通讯作者：
Graeme Smith
DOI：
10.1145/2568225.2568323
发表时间：
2014-05
期刊：
Proceedings of the 36th International Conference on Software Engineering
影响因子：
--
作者：
Renzo Degiovanni;Dalal Alrajeh;Nazareno Aguirre;Sebastián Uchitel
通讯作者：
Renzo Degiovanni;Dalal Alrajeh;Nazareno Aguirre;Sebastián Uchitel