───────────────────────────────────
SEA Forum in Aug. 2020 [online & offline]
「仕様」の「形式化」を探る
～ UML記述と形式仕様記述を比較する ～
主催: ソフトウェア技術者協会 (SEA)
参加者募集
───────────────────────────────────
8 月の SEA フォーラムでは，南山大学の張漢明先生をお招きし，「仕様」の「形式化」を探る ～ UML記述と形式仕様記述を比較する ～というタイトルでお話しをしていただきます．「仕様」や「形式化」をキーワードに，さまざまな観点から議論する機会として活用してください．皆さまの積極的なご参加をお待ち申しあげております．
【講演者】
張漢明（南山大学 准教授）
【概要】
ソフトウェア開発において「仕様」が重要であることは疑いがない．しかし， 仕様を記述するための，建築における図面のような，一般的に定まった記法はない．UMLは，仕様を表現するための一般的な記法として有用であろう．
しかし，UML記述に対して，建築における強度計算のような，安全性を保障するための客観的な方法は確立されていない．仕様に対して客観的な評価をするためには，仕様を「形式化」する必要がある．では，UML記述と形式仕様記述との間の違いは何であろうか？UML記述と形式仕様記述を対比することにより，仕様記述とは何かを探る．
─────────── 開 催 要 領 ──────────
1. 日時
2020 年 8 月 8 日 (土曜日) 14:00-16:30
2. プログラム
13:30 – 14:00 受付
14:00 – 16:30 講演＆ディスカッション
3. 会場
・Shibuya Hikarie 11F Room D （東京・渋谷）
・オンライン会議（Zoom）
3. 定員: 会員 100 名，賛助会員 100 名，非会員 100 名
お申し込み順です．定員になり次第受け付けを締め切ります．
4. 参加費
正会員: 1,000 円
賛助会員: 2,000 円
一般参加: 3,000 円
5. お申し込み方法
下記のお申込票に必要事項をご記入の上，下記のアドレス宛てに電子メールでお申し込みください．
お申し込みメールアドレス: forum @ sea.jp
6. お支払い方法
次のサイトの「チケットを申し込む」から，お支払いください．
https://sea-forum-20200624.peatix.com/
7. 連絡事項・注意事項
- お問い合わせ，および，開催時間中のご連絡は， forum @ sea.jp までお願いいたします．
- 開催の直前にWeb会議システムへの接続先情報等をお送り致します．
- オフライン（会場）とオンラインの参加形態は変更してもかまいません．変更時の連絡は不要です．
- オフライン（会場）での開催は中止するかもしれません．
- オフライン（会場）での開催を中止した場合は，オンラインでご参加ください．
- 参加できなかった場合，参加費の払い戻しはできません．
- フォーラム終了後，渋谷駅周辺のお店で交流会を開きます．参加意向をお知らせください．
──────────────────────────────
◆SEA Forum in Aug. 2020 参加お申込票◆
氏名： （ふりがな）：
メールアドレス：
種別 (いずれかにチェック，記入)：
□ SEA 会員 (No： )
□ SEA 賛助会員 (会社名： )
□ その他一般
参加形態：
□ オフライン（会場）
□ オンライン
終了後の交流会への参加：
□ する
□ しない
──────────────────────────────