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

ウェブ全体の検索

形式手法導入パイロット教育コース2011年12月28日 10時27分09秒

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
文章が駄目ならシステムも駄目、形式仕様記述(フォーマルメソッド)のことも

コメント

コメントをどうぞ

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

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

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

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

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2012年01月04日 00時53分34秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 福岡県には、シリコンシーベルト構想というのがあって、今度、そ

_ ホットコーナー - 2018年10月30日 02時21分50秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonから。
---
 世の中、まだ、テスト駆動開発(TDD)しか知らず、形式手法(フォーマルメソッド、Formal Methods)を知らない人が多い。
 以前書いたけど
Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索