◆□◆□◆GRACEメールマガジン◆□◆□◆□◆□◆□◆□◆□◆2009/10/26
第8号
――――――――――――――――――――――――――――――――――――――――
GRACEメールマガジンは、GRACEセンターのセミナー、イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールでお届けするものです。
――――――――――――――――――――
－ Content －
1.お知らせ
2.GRACEセミナーのご案内（11月11日）
Prof. Jeff Kramer, Imperial College Londonによる講演が決定！
3.「トップエスイー5期生向け講座説明会」実施のご案内
4.「トップエスイーチュートリアルシリーズ」開催のご案内
★★★★★★★ 1. お知らせ★★★★★★★
◆告知◆
「トップエスイー5期生向け講座説明会」を
2009年11月6日（金）16：30～＠国立情報学研究所20階2008・2009
で実施する予定です。
トップエスイーが目指すもの、トップエスイー講師が語る講義のポイントなどの
説明に加え、公開授業も実施される予定です。
ふるってご参加ください！
詳細は、↓「3.トップエスイー5期生向け講座説明会」実施をご覧ください。
◆注目！◆
Imperial College LondonのJeff Kramer教授が第27回GRACEセミナー（11月11日）
で講演されます！！参加費は無料ですので、奮ってご参加ください。
詳細は、↓「2．GRACEセミナーのご案内」をご覧下さい。
★★★★★★★ 2. GRACEセミナーのご案内★★★★★★★
皆様ご参加くださいませ。
◆第27回 GRACE セミナー◆
日時：2009年11月11日（水）13:30-15:00
場所：国立情報学研究所(NII) 20階実習室(2001・A/B)
講演者: Prof. Jeffrey Kramer, Imperial College London
タイトル: Self-Managed Adaptive Systems
主催：NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
http://grace-center.jp/
参加費：無料
http://www.nii.ac.jp/introduce/access1-j.shtml （地図）
お問い合わせ：鄭 顕志 (tei_AT_nii.ac.jp)_AT_を＠に書き換えてください。
参加をご希望の方は、下記アドレスまで、セミナー前日まで必要事項を記入し，
“27th GRACE Seminar”というタイトルで電子メールにてご登録をお願いします。
登録アドレス：event-info@grace-center.jp
必要事項：お名前、所属、メールアドレス
講演概要:
Rigorous techniques are needed to develop adaptive systems which can
cope with both changes in the environment and with changing goals.
The objective is to minimise the degree of explicit management
necessary for construction and subsequent evolution whilst preserving
the safety properties implied by its specification. In this talk, we
focus on an architectural approach to self-management, in which
software components automatically configure their interaction as
required. We present an outline three-layer reference model as a
context in which to articulate some of the main issues and to describe
our pilot implementation. In particular we present our current work
on plan synthesis from goals and properties.
Jeff Kramer教授のプロフィール：
Jeff Kramer is Professor of Computing and Senior Dean at Imperial
College London. His research interests include rigorous techniques for
requirements engineering; software specification, design and analysis;
and software architectures, particularly as applied to distributed and
adaptive software systems. Jeff is the Editor-in- Chief of the IEEE
Transactions on Software Engineering, and the co- recipient of the
2005 ACM SIGSOFT Outstanding Research Award for his research work in
Distributed Software Engineering. He is co-author of a recent book on
Concurrency, co-author of a previous book on Distributed Systems and
Computer Networks, and the author of over 200 journal and conference
publications. He is a Chartered Engineer, Fellow of the Royal Academy
of Engineering, Fellow of the IET, Fellow of the BCS and Fellow of the
ACM.
★★★★★★★ 3.「トップエスイー5期生向け講座説明会」実施★★★★★★★
国立情報学研究所は「サイエンスによる知的ものづくり教育プログラム」トップエスイーの5
期生募集向け講座説明会を開催いたします。プロジェクトリーダの本位田教授をはじめ、各講座
の担当者が参加しますので、2010年開講の5期生として受講を希望する方や、講座の詳しい内容
を知りたい方は、この機会にぜひご参加ください。 修了生による体験紹介や、現在開講中の授業
を公開いたします。
参加ご希望の方は、お名前、ご所属を明記の上、下記アドレスにEメールにてお申し込み下さい
（申し込み期限：１０月３０日）席に限りがございますので、誠に勝手ながら先着順とさせてい
ただきます。
日時：平成２１年１１月６日（金）１６：３０－１９：００
場所：学術総合センター ２０階 ２００８・２００９
講座説明会 スケジュール（予定）
16:30 ～ トップエスイーが目指すもの国立情報学研究所 本位田 真一 教授
17:00 ～ 講師が語る授業のポイント国立情報学研究所 來間 啓伸 特任准教授
国立情報学研究所 鄭 顕志 特任助教
国立情報学研究所 磯部 祥尚 特任准教授
18:00 ～ トップエスイー受講で得たものトップエスイー2期修了生 長久 勝 様
18:15 ～ 休憩 & Q&A
18:30 ～ 公開授業 「設計モデル検証(応用)」
国立情報学研究所 吉岡 信和 准教授
18:45 ～ Q&A
19:00 閉会
なお、申し込みの際の氏名・所属等の個人データは、国立情報学研究所 GRACEセンター内
トップエスイープロジェクト事務局において厳重に管理し、本説明会以外の目的に利用され
ることはありません。
↓↓トップエスイー第5期生募集については、以下をご覧ください。
http://topse.jp/5th.html
【お申し込み/お問合せ先】
トップエスイープロジェクト事務局
国立情報学研究所 GRACEセンター
〒101-8430 千代田区一ツ橋2-1-2
学術総合センター
E-mail: general@topse.jp Tel: (03) 4212-2729
★★★★★★★ 4. トップエスイーチュートリアルシリーズのご案内★★★★★★★
■【トップエスイーチュートリアルシリーズ】開催のご案内
「 Bメソッドを用いた形式仕様記述と検証」
http://www.topse.or.jp/events/20091117.html
○日 程：2009年11月17日(火) 10:00～17:00（受付開始：9:30）
○会 場（予定）：国立情報学研究所 ２０階 ２２１７
〒101-8430 東京都千代田区一ツ橋２－１－２
http://www.nii.ac.jp/introduce/access1-j.shtml
○概 要：
このチュートリアルでは，形式手法Bメソッドを使った仕様記述と，
仕様の整合性検証について紹介します．形式手法は，文法規則が厳密
に定められた言語を使って仕様を記述することを特徴とするソフト
ウェア開発手法であり，システムの信頼性を向上させる技術として
期待されています．その反面，ソフトウェア開発過程における位置付け
は必ずしも明確ではなく，実適用上の課題となっていました．
Bメソッドは作業手順と支援ツールが整備されており，パリ地下鉄を
はじめとして多くの適用事例が知られています．
本チュートリアルでは，Bメソッドによる開発過程を，ツールを使った
実演を交えて解説します．
○講 師：来間 啓伸（株式会社日立製作所システム開発研究所）
○定 員：35名(先着順)
○受講料金：
一般会員 20,000円 （税込）
一般非会員 30,000円 （税込）
学生会員 10,000円 （税込）
学生非会員 15,000円 （税込）
※受講料には教科書代金『教科書タイトル』を含みます。
※当日会場にて現金でお支払い下さい。領収書を発行します。
※「会員」：NPO法人 トップエスイー教育センター会員が割引の対象となります。
○申込み方法
下記サイトをご覧ください。
http://www.topse.or.jp/events/20091117.html
※定員に達し次第，申し込みを締め切らせていただきます。
○主催：NPO法人 トップエスイー教育センター
○協力：国立情報学研究所 GRACEセンター（予定）
株式会社日立製作所
○お問い合わせ先
NPO 法人 トップエスイー教育センター 事務局:
E-mail: seminar@topse.or.jp
==================================================================
－編集後記－
●GRACEメールマガジンの 第8号をお届けしました。
ご意見、ご感想は、owner-grace-bulletin@nii.ac.jpまでお願いいたします。
●GRACEメールマガジンの購読解除、バックナンバーについては、下記のURLをご
覧ください。
http://www.grace-center.jp/mail_member.html
——————————————————————–
編集・発行
——————————————————————–
先端ソフトウェア工学・国際研究センター（GRACEセンター）
広報担当
〒101-8430 東京都千代田区一ツ橋2-1-2
E-Mail：owner-grace-bulletin@nii.ac.jp
ホームページ：http://grace-center.jp/index.html
==================================================================
