トップエスイーチュートリアル
－「並行システムの検証と実装（入門編）」－
セミナー概要
| 日 時 | 2009年12月14日(月) 10:00～17:00（受付開始：9:30） |
|---|---|
| 会 場（予定） | 国立情報学研究所 ２０階 ２００１Ａ |
| 概 要 | 本セミナーでは、並行システムの信頼性を高めることを目的として、並行システムをプロセス代数CSP (Communicating Sequential Processes) でモデル化し、モデル検査器FDRで検証し、JavaライブラリJCSPで実装する方法について説明します。CSPは並行システムを解析するための理論、FDRはCSPモデルを検証するためのツール、JCSPはCSPモデルを並列/分散実行するためのライブラリです。本セミナーの特徴は、CSP理論→FDR検証→JCSP実装の流れを重視していることにあります。FDRとJCSPの使い方を習得することによって、並行システムのCSPによるモデル化と検証の考え方をより深く理解することができます。>
■補足情報 |
| 講 師 | 磯部 祥尚（独立行政法人産業技術総合研究所） |
| 定 員 | 35名(先着順) |
| 受講料金 |
一般会員 15,000円 一般非会員 25,000円 学生会員 5,000円 学生非会員 8,000円 ※当日会場にて現金でお支払い下さい。領収書を発行します。 ※「会員」：NPO法人 トップエスイー教育センター会員、NPO法人 CSPコンソーシアム会員、日本ソフトウェア科学会会員が割引の対象となります。 |
| 主 催 | NPO法人 トップエスイー教育センター |
| 協 力 | 国立情報学研究所 GRACEセンター(予定) NPO法人 CSPコンソーシアム 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 |
| お問合せ窓口 | セミナーに関するご質問などは、下記アドレスにて承ります。 seminar@topse.or.jp |
Copyright(C) TopSE Education Center. All Rights Reserved.