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