Affiliation:
1. University of Tokyo
2. National Institute of Informatics
3. Waseda University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference25 articles.
1. [1] J.R. Abrial, Modeling in Event-B: System and Software Engineering, 1st ed., Cambridge University Press, New York, NY, USA, 2010. 10.1017/cbo9781139195881
2. [2] A. Romanovsky and M. Thomas, Industrial Deployment of System Engineering Methods, Springer Publishing Company, Incorporated, 2013. 10.1007/978-3-642-33170-1
3. [3] Copyright Deploy-Project, “Deploy: Industrial deployment of system engineering methods providing high dependability and productivity,” http://www.deploy-project.eu/index.html, accessed Sept. 15. 2018.
4. [4] S. Saruwatari, F. Ishikawa, T. Kobayashi, and S. Honiden, “Extracting traceability between predicates in event-b refinement,” Asia-Pacific Software Engineering Conference (APSEC), 2017 24th, pp.61-70, IEEE, 2017. 10.1109/apsec.2017.12
5. [5] S.A. Bohner and R.S. Arnold, Software Change Impact Analysis, IEEE Computer Society Press, includes bibliographical references, pp.361-374, Los Alamitos, CA, USA, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献