MTSAチュートリアル：人工知能技術を応用したソフトウェア仕様自動生成ツール(1/24)

セミナー概要

タイトル：

MTSAチュートリアル：人工知能技術を応用したソフトウェア仕様自動生成ツール

日時：

2017年1月24日(火)
13:30-17:00（受付開始: 13:00）

会場：

国立情報学研究所 20階ミーティングルーム(2009/2010)

概要：

MTSA(The Modal Transition System Analyzer)はインペリアル・カレッジ・ロンドンとブエノスアイレス大学で共同開発された，ソフトウェア仕様の自動生成ツールです．形式的に記述された環境モデルと要求モデルを入力とし，正しさが保証された仕様モデルをゲーム理論に基づいて自動生成します．本セミナーではMTSAの開発者であり，ソフトウェア工学分野の若手トップクラスの研究者であるブエノスアイレス大学のNicolas D’Ippolito助教によるMTSAチュートリアルを行います．

1. Introduction to behaviour models
2. Modelling concurrency.
3. Brief intro to linear temporal logics
4. Controller synthesis in MTSA
5. Enactment of controllers

MTSA: http://mtsa.dc.uba.ar
本講義は英語にて行われます．

講師
　Nicolas D’Ippolito助教, ブエノスアイレス大学
　http://lafhis.dc.uba.ar/en/~dippolito

定員：

30名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。

参加費：

無料

参加申込方法：

参加申込みサイトより必要事項を入力の上、お申込みください。※こちらでPCを準備できますのでご希望の場合は申請時に選択してください。
http://ws.formzu.net/fgen/S53074529/

主催：

NPO法人トップエスイー教育センター

協力：

国立情報学研究所 GRACEセンター

お問合せ窓口：

セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry_[at]_topse.or.jp ※_[at]_部分を@に変えてください