イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
研究課題	形式手法を用いたソフトウェアコンポーネントに基づくソフトウェア開発法
実施形態	個人研究
キーワード	形式手法,コンポーネント,ソフトウェア工学