Refactoring Refinement of Event-B Models
Refactoring Refinement of Event-B Models
复制标题
事件 B 模型的重构细化
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Tsutomu Kobayashi and Fuyuki Ishikawa
中科院分区：
文献类型：
--
作者：
Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa
登录
查看更多内容
DOI：
10.1016/j.entcs.2004.04.014
发表时间：
2004
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
Rohit Gheyi;Paulo Borba
通讯作者：
Paulo Borba
DOI：
10.1007/978-3-319-24255-2_4
发表时间：
2015
期刊：
--
影响因子：
--
作者：
A. Tarasyuk;Inna Pereverzeva;E. Troubitsyna;T. Latvala
通讯作者：
T. Latvala
OCL 气味和重构对 OCL 规范可理解性影响的实证研究
DOI：
10.1007/978-3-540-75209-7_6
发表时间：
2007
期刊：
--
影响因子：
--
作者：
A. L. Correa;C. Werner;M. Barros
通讯作者：
M. Barros
通过通用实例化支持事件 B 开发的重用
DOI：
10.1007/978-3-642-10373-5_24
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Renato Silva;M. Butler
通讯作者：
M. Butler
DOI：
--
发表时间：
2009
期刊：
--
影响因子：
--
作者：
A. Iliasov;E. Troubitsyna;L. Laibinis;A. Romanovsky;Kimmo Varpaaniemi;D. Ilic;T. Latvala
通讯作者：
A. Iliasov;E. Troubitsyna;L. Laibinis;A. Romanovsky;Kimmo Varpaaniemi;D. Ilic;T. Latvala