ソフトウェア工学

知的システムのソフトウェアアーキテクチャ、形式手法応用

International Conference on Automated Software Engineering 2006 Publication Chair
電子情報通信学会　知能ソフトウェア工学特集号(英文誌)　編集委員（平成14年〜現在）

インターネット、製造、金融、医療等、社会のあらゆる分野で利用されている情報技術、それを支えるものはソフトウェアです。大規模・複雑化するソフトウェアを設計・構築することは創造性に富む高度な作業であるとともに手間のかかる作業でもあります。効率的に誤りなくソフトウェアを設計・構築する手法やツールが不可欠であり、現在でも様々な研究が行われています。本研究室では、ソフトウェア自身が自分の挙動を決める、まるで生き物のようなソフトウェアを設計・構築するツールを研究します。こうしたソフトウェアをスマートフォンやWeb上で実現し、様々な先進サービスを提案します。

ソフトウェアを取り巻く外部環境の変化にソフトウェア自身が適応し、その挙動や構成を変化させる自己適応システムのメカニズムの研究やそうしたメカニズムを使った応用システムの研究開発を行っています。また、信頼性の高いソフトウェアを設計する技術である形式手法（フォーマルメソッド）に関する研究や人がソフトウェア分析設計を行う過程を大脳生理学の見地から分析理解する研究も行っています。