デ-25 CX-Checker : A Customizable Coding Checker for C
(2010)
OSDG:Object-oriented System Dependence Graph
(IPSJ Journal 1999)
Works (2):
高信頼Webサービスウェアの効率的な開発手法
2008 -
高信頼性WebWareの生成技術(WebWareテスト支援系)
2007 -
Professional career (2):
工学博士
工学修士
Work history (1):
Nagoya University Graduate School of Information Science, Granduate School of Information Science Information Engineering Professor,Director in General