12月12日(火) のsigfm月例会は、酒匂寛さん谷津弘一さんご両人から「事務処理システムにおける形式仕様記述言語の適用事例研究」の お話をしていただくことになりました。
***************** 開催要領 *****************
1. 日 時： 2000年12月12日(火)14:00 〜 17:00
2. 場 所： 労働スクエア東京 605号会議室 (東京・中央区 新富1-13-14)
3. プログラム：
13:00〜13:30 受付
13:30〜14:30
「事務処理システムにおける形式仕様記述言語(VDM++)の適用事例研究」
- システムの概要、解くべき諸問題、アーキテクチャについて
- 酒匂寛 (デザイナーズ デン)
- 具体的な記述の内容と、チャレンジ
- 谷津弘一 (日本ユニシス)
14:30〜15:00 質疑応答
15:00〜15:15 Coffee Break
15:15〜16:30 討論
16:30〜16:45 次回予定
17:30〜有志による懇親会@さがみや
ふぐ料理の予定です。ふぐ料理としては安い店ですが、財布にそれなりの余裕を持ってお越し下さい。おいしい日本酒を持ち込みます。