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

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

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

　以前、CSKであったセミナーの記事がありました。
[URL]
CSKシステムズ ソリューションセミナー
「形式手法が創る高信頼性ソフトウェアの世界」
〜VDM研究会設立記念セミナー〜

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

追記：書いた
[URL]
VDM++によるオブジェクト指向システムの高品質設計と検証
[URL]
フォーマルメソッド(形式仕様記述、Formal Methods)の教科書

関連：
[URL]
形式仕様記述(フォーマルメソッド、Formal Methods)
[URL]
荒木先生の形式仕様記述の教科書
[URL]
仕様記述言語Zのテーマソングが決定
[URL]
Eiffel, 仕様記述(フォーマルメソッド)