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