組込みソフトウェア開発を支援することを目的として、自然言語処理技術を利用した要求仕様書分析ツールや、プログラムからの設計モデル抽出ツールの研究を行っています。

研究トピック

• 自然言語処理技術を利用した要求仕様書分析ツール
• プログラムからの設計モデル抽出ツール
• ファジングツールの定量的評価
• 記号実行ツールの定量的評価

構成メンバー

教員･研究員

• 高田 広章
• 吉田 則裕

学生

• 朱 文青