■日 程：2012年1月6日(金),13(金),26(木), 2月10日(金)
■講 師：早水公二 (株式会社フォーマルテック)
■会 場：国立情報学研究所 20階 ミーティングルーム1・2（2009・2010）
■講 師：早水公二 (株式会社フォーマルテック)
■会 場：国立情報学研究所 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階 ミーティングルーム１・２(2009, 2010) 〒101-8430 東京都千代田区一ツ橋2-1-2 |
| 概 要 | 本講座は，企業におけるモデル検査推進者の育成を目的としています．モデル検査の実務を想定し，その開始から終了までの全プロセスを意識した演習を行います．通常の検証作業で体験する，検証対象ソフトウェアの開発者からのヒアリング，ソフトウェアのモデル化，モデル検査，結果報告，最終報告書の執筆に至るまで，各フェーズでのポイントを押さえた演習に取り組んでいただきます．演習課題は実システムを基に作成されたもので，ソースコード (C言語) と仕様書の課題のいずれか1つを選択することができます．モデル検査ツールは SMV を使用します．
【スケジュール】 ※注意: 原則として全日程の参加をお願いいたします．やむを得ない事情で一部の日程に参加できない見込みの方は，あらかじめ事務局までご相談ください． |
| 内容のレベル | 応用 |
| 講 師 | 早水 公二 (株式会社フォーマルテック) |
| 対 象 | 一般 ※10名(先着順) |
| 参加費 | 会員 無料 一般非会員 50,000円（税込み） 学生非会員 16,000円（税込み） ※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。 |
| 主 催 | NPO法人 トップエスイー教育センター |
| 協 力 | 国立情報学研究所 GRACEセンター |
| お問合せ | セミナーに関するご質問などは、下記アドレスにて承ります。 seminar@topse.or.jp |