◆□◆GRACEメールマガジン2017/10/2 第55号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
==============================================================
◆◆第83回GRACEセミナー◆◆
==============================================================
==============================================================
モデルの記述と検証のためのプログラミング
–CafeOBJによる仕様検証–
「CafeOBJによる仕様検証」の二日間の連続セミナー(2017年11月17日(金),24
日(金))を開催します．CafeOBJは、日本で研究開発され国際的に高い評価を得
ている実行可能仕様言語システムで、通信プロトコル、電子商取引プロトコル、
クラウドプロトコル、車載ソフトウェア国際標準などの仕様検証の実績があり
ます．
社会基盤をになうソフトウェアの信頼性や安全性を仕様（モデルの記述）のレ
ベルで分析し検証する仕様検証の重要性はますます増大しています．しかし、
仕様が望みの性質を持つことの検証は、公理（仕様）から定理（望みの性質）
が導けることを示す定理証明であり、ハードルの高い技術と言わざるを得ませ
ん．
本セミナーは，CafeOBJプロジェクトを主宰する二木教授を講師に迎え、最近
出版された入門書：
「モデルの記述と検証のためのプログラミング入門–CafeOBJによる仕様検証–」
をテキストとして、基本的な例題を実際に記述・検証することで仕様検証を
ハイレベルの等式/関数プログラミングとして実践的に学習します．
仕様文書・設計文書・標準文書の高信頼化、形式仕様の記述と検証、形式手法、
定理証明などに興味がある方は是非ふるってご参加ください．
【日時】2017年11月17日（金）24日（金）10:30-17:30(12:45-14:00昼休)
【講師】二木厚吉 国立情報学研究所(NII)/産業技術総合研究所(AIST)
【会場】国立情報学研究所(NII) 20F ミーティングルーム(2009/2010)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
https://ws.formzu.net/fgen/S68263081/
【注意事項】
– ウエッブページ(https://cafeobj.org/download/)から
CafeOBJシステムをダウンロード／インストールした
パソコンを各自が持参してセミナーに参加することを
想定している．
– 配布するスライドはテキストの内容すべてをカバーしないので、
テキストを入手して参加するのが望ましい．
【お問い合わせ先】
事務局(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—-
【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協力】トップエスイー プロジェクト
==============================================================
