/トップ/研究室紹介/ 研究成果/2013年度研究成果

2013年度研究成果

発表論文

• Koichiro Ochimizu,” The Role of Software Models in Developing New Software Systems;A Case Study in Project Management (Invited Talk)”, APCCM 2014, Auckland, New Zealand; January 21,  2014.
• Phan Thi Thanh Huyen, Koichiro Ochimizu, “ An Inconsistency Management  Support System for Collaborative Software Development”, IEICE Transactions on Information and Systems, Vol. E97-D No.1, January 2014, pp.22-33.
• Michitaka Inui, Nobukazu Yoshioka, Koichiro Ochimizu,”A State Reduction Method for Model-checking by Eliminating Unnecessary Contexts”, AIT2013, Jakarta, Nov. 2013.
• 西岡健自、落水浩一郎、“開発コンセプトの変更をともなう業務システムメンテナンスの
• 支援方法”情報処理学会論文誌,Vol.54, No.9, pp.2244-2253, 2013.
• 落水浩一郎、“産学連携によるイノベーション人材の育成とソフトウェア技術者協会の役割”（基調講演）、ソフトウェアシンポジウム2013、7月8日、2013.
• 落水浩一郎、“高度専門留学生の育成と日本企業への輩出”、SEC Journal , Vol.9 No.1, 　pp.42-pp45,  March 2013.

修士論文

• Tang,Xiao Ning, "Using Cluster Analysis to Identify Services from Legacy System at Different Levels of Granularity",March 2014.

博士論文

• PHAN, Huyen Thi Thanh,"Managing Inconsistency among Software Artifacts", Sep. 2013
• 西岡健自　開発コンセプトの変更をともなう業務システムメンテナンスの支援手法、2014年3月

[研究成果トップへ][2012年度研究成果へ][2014年度研究成果へ]