期日 ６月８日（金）
主催 ソフトウェア技術者協会フォーマルメソッド分科会(sigfm)、日本フィッツ（株）
場所 川崎市産業振興会館
後日の資料
６月のsigfmは、月例会のかわりに、岩波書店で翻訳出版が決まった形式手法の入門書「Modelling Systems: Practical Tools and Techniques in Software Development」の著者の一人Peter Gorm Larsen 博士をデンマークからお招きし、日本フィッツ（株）と共催でチュートリアルを企画しました。
なお、逐次通訳ではありませんが、要点の通訳を酒匂寛さん（デザイナーズ・デン）にお願いしています。
参考書："John Fitzgerald, Peter Gorm Larsen, Dines Bjｿrner, Cliff Jones. Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press, 1998"
欧州産業界における形式的方法の利用
VDMTools入門
--------------------------------------------------
SEA チュートリアル (June. 2001) 参加申込用紙
氏名(ふりがな)：
組織名：
部門・役職：
住所： (〒 − )
Tel:
E-Mail:
種別(該当欄にチェック):□ 会員(No. ） 2,000円
□ 一般 4,000円
□ 会員学生(No. ）1,000円
□ 一般学生 2,000円□ 日本フィッツ（株）関係者 無料
--------------------------------------------------
ｓｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ
川崎市産業振興会館
川崎市幸区堀川町66-20 電話：044-548-4111
（川崎駅西口から線路沿いを東京方面に徒歩8分)