現代社会を支えるソフトウェアを正しくデザインする！

担当教員：野田 夏子

今や社会のいたるところにソフトウェアが組み込まれています。目に見える建築物で設計（デザイン）が重要なように、目に見えないソフトウェアもそれを正しく設計することが重要です。では、目に見えないものをどのように設計すれば良いのでしょうか?また、その正しさをどのように確認すれが良いのでしょうか？このためのさまざまな方法を研究し、現在社会を支えるソフトウェアの品質の向上をめざしています。

すべてのモノ・コトが正しく動くためのソフトウェアの設計を考える

野田 夏子 教授 NODA, Natsuko

スマートフォンや家電品、エレベーターや自動車、銀行システム、都市を支えるインフラまで、私たちの生活を便利にするほとんどのモノやサービスにはソフトウェアが組み込まれ、その動きを制御しています。そして、今まで単体で動いていたシステムがつながりあって、より便利なサービスを生み出すようになってきました。この多くの要求をクリアするために複雑化したソフトウェアが正しく動くためには、まずソフトウェアを正しく設計することから始めなければなりません。ソフトウェアデザイン研究室では、この設計とそれに基づいてつくりだされたソフトウェアの検証に焦点を当てて研究を行っています。驚異的な速さで進歩する人工知能（AI）にも、私たちの研究する設計と検証の技術が必要とされています。