【TopSEチュートリアル】「並行システムの検証と実装(入門編)」(12/14開催)[終了]

セミナー概要
日 時 2009年12月14日(月) 10:00~17:00(受付開始:9:30)
会 場 国立情報学研究所 20階 2001A
概 要 本セミナーでは、並行システムの信頼性を高めることを目的として、並行システムをプロセス代数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