教員紹介：西田 直樹（にしだ なおき）
研究内容
バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...
教員紹介 森崎 修司 (もりさき しゅうじ)
情報システム学専攻 准教授
研究分野: ソフトウェアエンジニアリング分野
ソフトウエアの高品質化やソフトウエア開発活動の効率化のための技術やしくみを実証的に議論するエンピリカルソフトウエア工学を専門としています。 ...