小形研究室では、ソフトウェアを効率的に作る方法を研究しています。ソフトウェアには、建築と同様に設計図（モデル）があり、特に多くの開発者が係わる大規模な開発プロジェクトの成否はモデルの品質に大きく左右されます。また、Society5.0を踏まえ、設計の失敗に気づかずに大規模なシステムを実現してしまうことはますます許されなくなるでしょう。当研究室はモデルを中心とした、使い易さ（ユーザビリティ）を設計・評価する方法や、情報ネットワークを設計・検証する方法、システムの安全性を検証する方法、ソフトウェア開発者を教育支援する方法などをテーマに研究を展開しています。

研究から広がる未来

従前から「実行可能なモデル」の研究が盛んです。そのようなモデルは、クラウド等の資源を活用し、新たなソフトウェアを開発する現代では、開発者がソフトウェアの本質を表現・理解するための有用な手段です。我々は実行可能なモデルでスマートな開発方法の確立を目指します。

卒業後の未来像

モデリングには、ソフトウェアの本質を的確に捉えて説明する、高度な抽象化能力が必須です。そして、この能力は企業が求めるコミュニケーション能力の本質とも言えます。研究生は、モデリング研究等を通して、その能力を高めることを目指しています。