我々はスマートフォンのみならず、スマートスピーカやホームオートメーション機器などのいわゆるIoT (Internet of Things)に取り囲まれて生活しており、様々な形でソフトウェアが提供するサービスを受けています。また自動車も巨大なソフトウェアで作られています。これらのソフトウェアを効率よく便利に安全に開発しようと思うと、UMLを用いた開発方法論などの工学的な手法を用いなければ不可能です。本研究室ではこれらのソフトウェアを効率よく高品質に開発すべく研究を進めています。