【SEC特別セミナー】形式手法の98導入事例の調査・分析から見る高信頼性ソフトウェア開発の現状

  社会基盤を広く支えるようになったソフトウェアへの高い信頼性が求められる現在、そのような信頼性の高いソフトウェアを作る“銀の弾丸”は無いと言われています。一方形式手法にはそれを構築できる可能性が高いことが、いくつかの事例で示されています。
  本セミナーでは、2009年から今年までヨーロッパを中心に世界中で実施された形式手法を導入した98プロジェクトを調査・分析したオーフス大学工学部（デンマーク）のラーセン教授に、これらのプロジェクトはなぜ成功したのか、成功させるためにどのような準備をし、どのようなチームで実施したのか、どのような成果であったのか等を説明していただきます。さらに、「形式手法の進展」および「今後のソフトウェア開発の中で形式手法をどのように位置づけるか」についても言及していただきます。

  本セミナーを通して、ソフトウェア工学の先駆者であるパーナス博士がIEEE誌で指摘した「ロバート・フロイドから40年、ジャン－レイモンド・アブリエルのZ及びVDM から35年経過したにもかかわらず、形式手法が産業界に広く使用されるに至っていない」、これに対する解決策を考えるきっかけにもなればと考えます。

◆ピーター・ゴーム・ラーセン教授のプロフィール
形式手法の産業界への実践者として著名で、EUにおける形式手法の研究及び実践プロジェクトのレビューワーであり、その活動分野はEUにとどまらず世界中に及んでいる。
※詳細についてはhttp://pglconsult.dk/private/peter.htm

講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。

※参加できない場合は、必ずキャンセル処理を行ってください。
※お席に限りがありますので、一部署より多くの方がご参加の場合には調整をお願いさせていただく場合があります。