/Top/publications/2013

2013 Publications

Papers

• Koichiro Ochimizu,$B!I(B The Role of Software Models in Developing New Software Systems;A Case Study in Project Management (Invited Talk)$B!I(B, APCCM 2014, Auckland, New Zealand; January 21,  2014.
• Phan Thi Thanh Huyen, Koichiro Ochimizu, $B!H(B An Inconsistency Management  Support System for Collaborative Software Development$B!I(B, IEICE Transactions on Information and Systems, Vol. E97-D No.1, January 2014, pp.22-33.
• Michitaka Inui, Nobukazu Yoshioka, Koichiro Ochimizu,$B!I(BA State Reduction Method for Model-checking by Eliminating Unnecessary Contexts$B!I(B, AIT2013, Jakarta, Nov. 2013.
• PHAN, Huyen Thi Thanh,"Managing Inconsistency among Software Artifacts", JAIST Dissertation, Sep. 2013
• Tang,Xiao Ning, "Using Cluster Analysis to Identify Services from Legacy System at Different Levels of Granularity",March 2014.(JAIST master's thesis)

[ Top ] [to 2012] [to 2014]