-------------------------------------------------------------------------- SEA FORUM (March,2000) フォーマル・メソッドの活用を目指して − SIGFM キックオフ・ミーティング − 参加者募集 -------------------------------------------------------------------------- このたび,SEAでは,一部有志の方々の提案により,フォーマル・メソッド分科会 (SIG-FM) を発足させることになりました. そこで,次回の月例 Forum は,この新しい分科会のキックオフを兼ねて,日本 におけるフォーマル・メソッド研究開発の現状と今後の普及活動の進方について, 講演と討論を企画しました. 欧米では,すでに各種の Safety Critical System などに対して, フォーマル・メ ソッドの具体的な応用が進んでいますが,日本ではまだまだです.しかし,今後, 技術の発展にともない,コンピュータが社会生活のあらゆる分野に組み込まれて行 くにつれて,ソフトウェアにも一層高度な信頼性が要求され,それを達成するため の手段としてのフォーマル・メソッドの活用は不可避だと予想されます. この Forum を機会に,多数の方々がそれぞれの問題意識をもって討論に参加される ことを期待します. ***************** 開催要領 ***************** 1. 日 時: 2000年 3月 3日 (金) 13:30 〜 16:45 2. 場 所: 労働スクエア東京 702会議室 (東京・中央区 新富1-13-14) 3. プログラム: 13:00〜13:30 受付 13:30〜15:00 フォーマル・メソッドの現状 − 司会:佐原伸 (SRA) フォーマル・メソッドと CafeOBJ 二木厚吉 (JAIST) 開発におけるフォーマル・メソッドの適用 荒木啓二郎 (九州大学) 15:00〜15:15 Coffee Break 15:15〜16:45 パネル討論: フォーマル・メソッドをいかに普及させるか? 司会: 熊谷章 (PFU) パネラ: 上記 Speakers および 山崎利治 (Free) 伊藤昌夫(Nil Software) 4. 参加費: SEA 会員 2,000円,一般 3,000円 5. 定 員: 40 名 (先着順にて締切ります). 6. 申込み方法: 下の申込用紙に必要事項を御記入の上, SEA 事務局まで E-Mail または Fax でお申込みください.会場地図等をお送りします. なお,参加費は当日会場受付にてお支払いください(領収書を差し上げ ます).申込受付後のキャンセルは原則としてお断りします. 申込み宛先: ソフトウェア技術者協会 (SEA) Fax: 03-3356-1072 E-Mail: sea@sea.or.jp .................................................................. SEA-Forum (Mar. 2000) 参加申込用紙 氏名(ふりがな): ( ) 会社名: 部門・役職: 住所: (〒 ) Tel: Fax: E-Mail: 種別(該当欄にチェック): □ 会員(No. ) □ 一般 参加費: 円 ..................................................................
T:03-3552-9134(問合) ※電話取次は,緊急時のみに願います 〒104 中央区新富1-13-14 地下鉄日比谷線・JR京葉線 八丁堀駅 A3出口 徒歩1分 地下鉄有楽町線 新富町駅 A4出口 徒歩5分 都営浅草線 宝町駅 A1出口 徒歩7分
% 参考: Mapion % "地図を表示" あるいは "ブロック14" を選択する。
spin-request@sea.or.jp
SEA-SPIN Page に行く。 || SEA Home Page に行く。