Quality Improvement of Requirements Specification using Model Checking Technique. - Yoshitaka Aoki; Shinpei Ogata; Hirotaka Okuda; Saeko Matsuura (ICEIS (2), 2012)

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. - Hirotaka Okuda; Shinpei Ogata; Saeko Matsuura (JCKBSE, 2012)