セミナー概要
| 日 時 | 2010年1月25日(月) 10:00〜17:00（受付開始：9:30） |
|---|---|
| 会 場 | 国立情報学研究所 20階 2001 |
| 概 要 | このチュートリアルでは，形式手法Bメソッドを使った仕様記述と，仕様の整合性検証について紹介します．形式手法は，文法規則が厳密に定められた言語を使って仕様を記述することを特徴とするソフトウェア開発手法であり，システムの信頼性を向上させる技術として期待されています．その反面，ソフトウェア開発過程における位置付けは必ずしも明確ではなく，実適用上の課題となっていました．Bメソッドは作業手順と支援ツールが整備されており，パリ地下鉄をはじめとして多くの適用事例が知られています． 本チュートリアルでは，Bメソッドによる開発過程を，ツールを使った実演を交えて解説します． |
| 講 師 | 来間 啓伸（株式会社日立製作所 システム開発研究所） |
| 定 員 | 35名(先着順) |
| 受講料金 | 一般会員 20,000円 一般非会員 30,000円 学生会員 10,000円 学生非会員 15,000円 ※受講料には教科書（『Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)、近代科学社 』）代金を含みます。 |
| 主 催 | NPO法人 トップエスイー教育センター |
| 協 力 | 国立情報学研究所 GRACEセンター 株式会社日立製作所 ディペンダブル・ソフトウェア・フォーラム |
| お問合せ窓口 | セミナーに関するご質問などは、下記アドレスにて承ります。 seminar@topse.or.jp |