Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

高品質高信頼ソフトウェア開発の特別セミナー2010年07月29日 05時24分10秒

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, 仕様記述(フォーマルメソッド)

コメント

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2010年07月29日 05時34分22秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特

_ ホットコーナーの舞台裏 - 2010年07月29日 05時42分20秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特

_ ホットコーナーの舞台裏 - 2013年04月17日 04時49分27秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2013/04/10/6773298
ソフトウェア・テスト PRESS 総集編
Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索