【TopSE特別講義】「モデル検査事例演習」(1/6, 13, 26, 2/10開催)[終了]

■日 程:2012年1月6日(金),13(金),26(木), 2月10日(金)
■講 師:早水公二 (株式会社フォーマルテック)
■会 場:国立情報学研究所 20階 ミーティングルーム1・2(2009・2010)

セミナー概要
日 時 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コマ)
(受付開始: 10:00)
会 場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
〒101-8430 東京都千代田区一ツ橋2-1-2
概 要 本講座は,企業におけるモデル検査推進者の育成を目的としています.モデル検査の実務を想定し,その開始から終了までの全プロセスを意識した演習を行います.通常の検証作業で体験する,検証対象ソフトウェアの開発者からのヒアリング,ソフトウェアのモデル化,モデル検査,結果報告,最終報告書の執筆に至るまで,各フェーズでのポイントを押さえた演習に取り組んでいただきます.演習課題は実システムを基に作成されたもので,ソースコード (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コマ)

※注意: 原則として全日程の参加をお願いいたします.やむを得ない事情で一部の日程に参加できない見込みの方は,あらかじめ事務局までご相談ください.
※本講義は、2012年度にトップエスイーにて開講予定の「モデル検査事例演習」をベースにした「特別講義」です。正式開講に先立ち,トップエスイーの受講生とNPO会員の皆様に特別に開講いたします。

【前提知識】
SMV に関する基本的な知識が必要です.講義中に簡単な復習は行いますが,SMV に触れたことが無い場合には,事前に操作方法,モデルの作成方法,CTL 式の作成方法を学習しておくことを強く推奨します.「設計モデル検証(応用編)」もしくは 2011 年のトップエスイー教育センター主催セミナー「SMVで学ぶモデル検査入門」を受講済みであれば問題ありません.なお,後者は近日中に edubase Stream (http://stream.edubase.jp/) で公開します.

内容のレベル 応用
講 師 早水 公二 (株式会社フォーマルテック)
対 象 一般 ※10名(先着順)
参加費 会員 無料
一般非会員 50,000円(税込み)
学生非会員 16,000円(税込み)
※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。
主 催 NPO法人 トップエスイー教育センター
協 力 国立情報学研究所 GRACEセンター
お問合せ セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp