ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　来年1月16日-17日に「形式手法導入パイロット教育コース」というのがあり
ます。
　何度か紹介してきた「Formal Methods」のセミナーね。
--- ここから ---
ソフトウェア・システム開発では、開発の上流段階で仕様を正確に記述するこ
とが信頼性確保に重要であることが認識されるようになり、形式手法がその実
現策として注目されています。このためIPA/SEC では、形式手法導入を容易に
するための教材開発を行い、その教材をもとにして、「形式手法導入パイロッ
ト教育コース」を実施し、形式手法を開発現場でどのように導入するとよいか
を経営者の立場も踏まえて理解できるようにしています。
開発現場における問題点を改善・解決したいと考えているプロジェクトメンバ
ー、プロジェクトリーダー又はマネージャーを対象とした、形式手法による開
発が高品質で生産性が高いことを実感できるセミナーです。
--- ここまで ---

　詳しくは、
http://sea.jp/?p=840
1月16日-17日開催：形式手法導入パイロット教育コース
をどうぞ。
　九大(九州大学)の荒木先生たちがやるのね。当たり前か。

関連：
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2010/07/29/5254556
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書
http://iiyu.asablo.jp/blog/2011/09/19/6107007
文章が駄目ならシステムも駄目、形式仕様記述(フォーマルメソッド)のことも