◆□◆GRACEメールマガジン2011/12/20 第17号◆□◆
———————
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
———————
━━セミナー開催のご案内━━━━━━━━━━━━━━━━━━
【モデル検査シリーズ】
トップエスイー特別講義「モデル検査事例演習」
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
■日 程：2012年1月6日(金),13(金),26(木),2月10(金) 各10:20～(受付開始: 10:00)
■会 場：国立情報学研究所 20階 ミーティングルーム1・2（2009・2010）
〒101-8430 東京都千代田区一ツ橋２－１－２
http://www.nii.ac.jp/introduce/access1-j.shtml
■概 要：
本講座は，企業におけるモデル検査推進者の育成を目的としています．モデ
ル検査の実務を想定し，その開始から終了までの全プロセスを意識した演習を
行います．通常の検証作業で体験する，検証対象ソフトウェアの開発者からの
ヒアリング，ソフトウェアのモデル化，モデル検査，結果報告，最終報告書の
執筆に至るまで，各フェーズでのポイントを押さえた演習に取り組んでいただ
きます．演習課題は実システムを基に作成されたもので，ソースコード (C言
語) と仕様書の課題のいずれか1つを選択することができます．モデル検査
ツールはSMVを使用します．
【スケジュール】
2012/1/6 (金) 10:20-17:50 (4コマ)
2012/1/13(金) 10:20-17:50 (4コマ)
2012/1/26(木) 10:20-17:50 (4コマ)
2012/2/10(金) 10:20-16:05 (3コマ)
※注意: 原則として全日程の参加をお願いいたします．やむを得ない事情で一
部の日程に参加できない見込みの方は，あらかじめ事務局までご相談ください．
※本講座は、２０１２年度にトップエスイーにて開講予定の「モデル検査事例
演習」をベースにした「特別講義」です。正式開講に先立ちまして，トップ
エスイーの受講生とNPO会員の皆様に特別に開講いたします。
【前提知識】
SMVに関する基本的な知識が必要です．講義中に簡単な復習は行いますが，SMV
に触れたことが無い場合には，事前に操作方法，モデルの作成方法，CTL式の
作成方法を学習しておくことを強く推奨します．「設計モデル検証(応用編)」
もしくは2011年のトップエスイー教育センター主催セミナー「SMVで学ぶモデ
ル検査入門」を受講済みであれば問題ありません．なお，後者は近日中に
edubase Stream (http://stream.edubase.jp/) で公開します．
■講 師：
早水公二 (株式会社フォーマルテック)
■定 員：10名(先着順)
NPO法人 トップエスイー教育センター会員に所属されている方は優先的に
ご参加いただけます。
■受講料金：
会員 無料
一般非会員 50,000円（税込み）
学生非会員 16,000円（税込み）
■申込み方法
下記サイトをご覧ください。
http://topse.or.jp/docs/?q=node/32
※定員に達し次第，申し込みを締め切らせていただきます。
■共 催：国立情報学研究所 GRACEセンター
NPO法人 トップエスイー教育センター
■お問い合わせ先
NPO 法人 トップエスイー教育センター 事務局:
E-mail: seminar@topse.or.jp
================================================================
□編集後記□
●GRACEメールマガジンの 第17号をお届けしました。
ご意見、ご感想は、bulletin-info@grace-center.jpまでお願い
いたします。
●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://www.grace-center.jp/mail_member.ht
