2013年7月6日に開催した実務家のための形式手法セミナーのレポートです．
SEA 九州支部 特別セミナー : 実務家のための形式手法セミナー (開催済み)
大学の先生・学生さん・民間企業の方など, 13 名の方に参加していただきました. まず, 情報処理推進機構 (IPA) のソフトウェア高信頼化センター (SEC) の人材育成ワーキンググループの主査でいらっしゃる荒木先生から, 人材育成ワーキンググループにおいて「実務家のための形式手法シリーズ, 教材及び副読本」を作成するに至った経緯と背景のご紹介がございました.
その後, 人材育成ワーキンググループのキーパーソンの一人であるフェリカネットワークスの栗田 太郎氏から,「実務家のための形式手法シリーズ」の教材を用いて「なぜ, 形式手法か? 」という問いに対して, ご自身の開発経験をまじえてご説明いただきました. 講演は, 荒木先生と栗田さんのお 2 人の対話によっておこなわれましたので, 大変楽しく伺うことができました. セミナーの後半では, 具体的な形式手法の適用事例として, フェリカネットワークスでの形式仕様記述手法 (VDM) の適用事例をご説明いただきました.
セミナー全体をとおして, 参加くださいました専門家の方々や企業の方々から数多くの質問があり, 大変活気のあるセミナーとなりました.
（報告：中津川さん／参加者代表）