ソースコード中心のソフトウェア工学

バグがなく決められた期間内にソフトウェアを開発することは非常に難しい作業です。本研究室では、いかに効率よくソフトウェアを開発できるかを考えて、その支援環境を構築する研究を行っています。特に、以下のソースコードに関連した研究を実施しています。