UML を使ったモデル検査～ お持ちのシーケンス図、状態図を検証してみませんか？ ～ モデル検査ツーモデル検査ツールはアイディア次第で色々と応用ができる優れものです。しかしそのメリットを生かせるほど使いこなすためには、専門知識が必要ではないかと、難しい印象をもたれている方も多いのではないでしょうか。 本セミナーで私たちはお持ちのシーケンス図、状態図を用いた、最も簡単なモデル検査ツールの使い方をお教えします。 まずはモデル検査の入り口に立ってみませんか？ ■セミナー概要 日程 2008年6月25日（水） [第1部：セミナー] 18:00～20:00 [第2部：懇親会] 20:00～22:00 会場 イーソル株式会社東京都中野区本町 1-32-2 ハーモニータワー22階 第9会議室東京メトロ丸ノ内線、都営大江戸線「中野坂上駅」より徒歩１分（※22階会場まで直接お越しください。） 参加料 [第1部：セミナー] 無料、 [第2部：懇親会] 3,000円程度 対象者 ・モデル検査は気になる技術ではあるけれど、本当に使えるのかどうか見極めたい方・実際に現場へ導入するのは難しそうだと考えている方・UML をより有効活用 したい方 定員 20 名 主催 イーソル株式会社スパークスシステムズジャパン株式会社 お申し込み スパークスシステムズジャパン株式会社 様のページ からお申し込みください。 内容 18:00-20:00 第1部：セミナー 「UML を使ったモデル検査」 講師：イーソル株式会社 エンベデッドプロダクツ事業部 リサーチ＆コンサルテーションサービス部 古川 剛彦、 藤倉 俊幸セミナーではモデル検査についての概要の説明と、簡単な演習を行なうことでモデル検査のメリットを体感した後、私たちの提案としてEnterprise Architect で描いたシーケンス図、状態図をモデル検査する簡単な方法をお教えいたします。モデル検査を取り入れるメリットはこれだけでは終わりません。更に検査結果を使って、シナリオ検証やタスク検証へと応用することもできます。こちらはデモでお見せします。 20:00-22:00 第2部：懇親会セミナー講師を交えて懇親会を開催します。セミナーの内容に関する質疑応答が基本ですが、時間が許せば日ごろ抱いている形式手法やモデル検査への素朴な疑問、素朴な（？）疑惑など、今まで実体をつかみづらかった全容を把握すべく、ぜひ直接、講師陣から血の通った「答え」を聞いてみてください。※懇親会の参加費は各自負担となりますのでご了承ください。※領収書の発行はできません。
