Shigeru Kusakabe, Hsin-hung Lin, Yoichi Omori, Keijiro Araki. Generating supportive hypotheses in introducing formal methods using a software processes improvement model. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 24-30, ACM, 2014. [doi]
Abstract is missing.