ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　例によって、直前になってここに書く。すみません。
　高品質高信頼性ソフトウェアをどう作るか。そのためのヒントになるセミナ
ーが福岡であります。しかも無料！

2010年7月30日（金）13:00～17:20（予定）
福岡商工会議所
　詳しくは、
http://www.juse.or.jp/software/192/
－参加費無料！－
「今こそ考えよう！ソフトウェア品質」　特別セミナー（福岡）
－－すべてのソフトウェア技術者に品質技術を！－－

　九大の荒木先生も、講演しますね。
【講演2】高品質高信頼ソフトウェア開発に関する動向と今後の展望
　　　　　―　今、やるべきことは　―
九州大学　システム情報科学研究院 情報知能工学部門 　教授　荒木 啓二郎
氏

　以前、CSKであったセミナーの記事がありました。
http://www.csk.com/systems/seminar/sm_tokyo/060308sol.html
CSKシステムズ ソリューションセミナー
「形式手法が創る高信頼性ソフトウェアの世界」
～VDM研究会設立記念セミナー～

　このあと、フォーマルメソッド(形式仕様記述、Formal Methods)の新刊の紹
介を書く。

追記：書いた
http://iiyu.asablo.jp/blog/2010/07/29/5254545
VDM++によるオブジェクト指向システムの高品質設計と検証
http://iiyu.asablo.jp/blog/2010/07/29/5254556
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書

関連：
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2005/08/30/57720
荒木先生の形式仕様記述の教科書
http://iiyu.asablo.jp/blog/2007/08/06/1708469
仕様記述言語Zのテーマソングが決定
http://iiyu.asablo.jp/blog/2008/09/20/3775398
Eiffel, 仕様記述(フォーマルメソッド)