北海道経済産業局、北海道並びに(地独)北海道立総合研究機構では、7月22日にニューオータニイン札幌において「フォーマルメソッド普及促進セミナー 2011 in 札幌〜見えてきた形式手法の実用化と可能性〜」を開催しました。
北海道管内で「フォーマルメソッド（形式手法）」をテーマとして昨年8月に引き続き2回目の大規模なセミナーとして、北陸先端科学技術大学院大学の青木利晃准教授の基調講演を皮切りに、各分野の第一人者の方々から、フォーマルメソッドを取り巻く現状や将来展望等についてお話しいただきました。
当局では、今後とも形式手法の普及啓発に取り組んでいく予定です。
なお、本セミナーには83名の参加があり、以下に配付資料や参加者からのアンケート結果（一部）をご紹介します。
開催概要
- 【日時】
- 平成23年7月22日（金）14:30〜17:00
- 【場所】
- ニューオータニイン札幌 2F 「鶴の間」
（札幌市中央区北2条西1丁目 TEL：011-222-1111） - 【主催】
- 経済産業省北海道経済産業局、北海道、(地独)北海道立総合研究機構
- 【共催】
- (独)情報処理推進機構（IPA）
- 【後援】
- (一般社)北海道IT推進協会
- 【協力】
- 産業技術連携推進会議北海道地域部会 組込みシステムビジネス研究会
◆プログラム
- 主催者挨拶
- 経済産業省北海道経済産業局地域経済部長 友田 正敏
- 基調講演
- 「形式手法の研究と実践からざっくばらんに…〜産業界での可能性や今後の展望〜」
北陸先端科学技術大学院大学 准教授 青木利晃 氏 - 事例発表（1）
- 「高信頼なソフトウェア開発を目指して〜現場に役立つ『形式手法ガイド』の紹介〜」
ディペンダブル・ソフトウェア・フォーラム（DSF）
(株)NTTデータ 技術開発本部 塚本英昭 氏 - 事例発表（2）
- 「形式手法−Bメソッドによる組込ソフト開発の実践」
北海道電子機器(株) 技術部リーダー 和田 学 氏 - 特別講演
- 「形式手法が担う品質説明力の強化〜品質説明力強化に向けた政府の取組みと形式手法への期待〜」
(独)情報処理推進機構（IPA） ソフトウェア・エンジニアリング・センター
組込系プロジェクト プロジェクトサブリーダー／工学博士 田丸 喜一郎 氏
経済産業省北海道経済産業局 地域経済部 情報政策課