「形式仕様記述言語はどう動くか」（仮題）

− sigfm 第1４回月例会( Sept. 28,2001)−

期日　2001年9月28日（金）

場所 川崎市産業振興会館（川崎駅徒歩７分）

当日の資料

後日の資料

　９月のsigfmは、SRAの澤田寿実さんから「形式仕様記述言語はどう動くか」についてお話しいただくことになりました。

以下の話題について、実例をベースにお話を伺います。

(１) CafeOBJ 言語での振舞いの記述の考え方
オブジェクトの振舞をどう捉えるか
振舞の記述方法
通常の状態遷移機械表現との比較
(２) 振舞仕様の検査/検証の方法
CafeOBJ の振舞仕様のテスト, 安全性の検査
- coinduction
- coinductive rewriting
- 述語を用いた安全性検査

プログラム

2001年9月28日（金）

13：30-16：45　講演

澤田寿実(SRA）
「形式仕様記述言語はどう動くか」(仮題）

17：30‐20：30　懇親会（和志）

場所 川崎市産業振興会館 （川崎駅徒歩７分）

開催要領

参加申し込み：定員になり次第、締め切らせていただきます。

--------------------------------------------------

SEA チュートリアル (Sept. 2001) 参加申込用紙

氏名(ふりがな)：　
組織名： 　　
部門・役職：
住所： (〒 　　−　　　　)　
Tel:
E-Mail:
種別(該当欄にチェック):

□　社会人　1,000円
□　学生　　500円

--------------------------------------------------

申し込み先：支払いは当日会場にてお願いします。

ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ

当日の資料