小形研究室では，良いソフトウェアを効率的に開発する方法として主にモデル駆動ソフトウェア工学分野を研究しています．建築では最初に模型と言った「概略」を作り，その良し悪しをお客さんに確認してもらいます．お客さんの欲しないモノには多量の手直しが生じ，膨大な費用と時間がかかるため，この確認は非常に重要です．ソフトウェア開発においても「概略」を下図の 「モデル」として記述することが普及してきましたが，モデルの有益な活用方法の研究は未だ不十分です．小形研では，よいソフトウェアの開発を効率化するためのモデリング方法やモデルをソフトウェアへ変換する方法に関する研究を行っています．
