研究発表 - 高田　眞吾

動的なシンボリック実行を用いたプログラム検証

杉本俊一郎，高田眞吾

第17回ソフトウェア工学の基礎ワークショップ (FOSE2010) （越後湯沢） , 

2010年11月

, 

ポスター発表

Webアプリケーションにおけるプリフェッチに関する一考察

柴田和祈，高田眞吾

第17回ソフトウェア工学の基礎ワークショップ (FOSE2010) （越後湯沢） , 

2010年11月

, 

ポスター発表

RIA開発支援に関する一考察

吉川航平，高田眞吾

第17回ソフトウェア工学の基礎ワークショップ (FOSE2010) （越後湯沢） , 

2010年11月

, 

ポスター発表