フォーマルアプローチ特集論文募集

                            電子情報通信学会論文誌 和文Ｄ・英文Ｄ
                            フォーマルアプローチ特集 編集委員会

  フォーマルアプローチ(形式手法・形式技法)は，ハードウェア，ソフトウェ
ア，システムの設計開発における信頼性向上の鍵となる重要な手法であり，こ
れまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テスト
と検証，保守と再利用などに関する技術と理論的知見を生み出してきました．
近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは
従来にも増して多様な分野で用いられるようになり，ますます発展しています． 

  本特集は，情報システムの設計開発におけるフォーマルアプローチについて，
基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特
化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，
フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野
の研究が更に発展することを目指しております．４回目となる今回の特集では，
初めて，英文誌と和文誌の合同企画といたしました．

  奮って御投稿下さいますよう御案内申し上げます．

1. 対象分野

主な対象は以下の通りですが，これに限らず，広くフォーマルアプローチに関
する論文の積極的な御投稿をお待ちしております．

- 基礎理論: 形式論理，オートマトン・形式言語理論，書換え系，その他の計
  算モデルを用いたフォーマルアプローチ．

- 形式記述技法: ペトリネット，プロセス代数，時間オートマトン，ステート
  チャート，UML，XML など．

- 設計検証技法: モデル検査，定理証明，テスト技法など.

- 情報システムのセキュリティに関するフォーマルアプローチなど．

- ハードウェア・ソフトウェア・分散システム，組込みシステム・モバイルシ
  ステム・ユビキタスシステムなど．

2. 論文の執筆と取扱い

- 論文(一般論文)，レター，及びサーベイ論文を募集します．投稿規定等は電
  子情報通信学会の和文誌，英文誌の規定と同じです．以下の規定を御参照く
  ださい．

   和文誌: 「和文論文誌投稿のしおり(情報・システムソサイエティ)」
    http://www.ieice.org/jpn/shiori/iss_mokuji.html 

   英文誌: "The Information for Authors" 
          (IEICE Transactions on Information and Systems)
    http://www.ieice.org/eng/shiori/mokuji_iss.html 

3. 主なスケジュール

  論文投稿締切	平成 20年 7月18日(金)
  最終判定予定	平成 20年12月頃
  発行予定      平成 21年 5月号

4. 投稿方法

本特集では，電子投稿のみを受付けます．

ステップ1. 論文を下記の web page から投稿してください．

  和文誌: https://review.ieice.org/regist_j.aspx 
  英文誌: https://review.ieice.org/regist_e.aspx 

投稿の際には以下の項目を選択してください．

  和文誌: 「ソサイエティ/特集号」->「[特集号 JD] フォーマルアプローチ」
  英文誌: ``Type of Section (Issue)/Transactions'' 
            -> ``[Special ED] Formal Approach'' 

データ登録時点で論文原稿のアップロードができない場合，「郵送による投稿」
を選択して登録を一旦完了させてください．論文原稿のアップロードは，登録
後に送付される電子メールに記載のURL にアクセスして行ってください．

ステップ2. 仮登録後に作成される『投稿者チェックリスト』と『コピーライ
トトランスファーフォーム』に記入，署名し，論文投稿締切日までに下記住所
あてに郵送して下さい．

  郵送物送付先：
  (社)電子情報通信学会出版事業部ソサイエティ誌出版課
  〒105-0011 港区芝公園3-5-22 機械振興会館別館3階
 
封筒に，『フォーマルアプローチ特集』と記載してください．

5. 特集 編集委員会 

委員長    亀山 幸義 (筑波大)
副委員長  関 浩之 (奈良先端大)
幹事      石原 靖哲 (阪大), 緒方 和博 (北陸先端大)
委員      岩沼 宏治 (山梨大)，栗原 正仁 (北大)，酒井 正彦 (名大)，
	  塚田 恭章 (NTT)，西崎 真也 (東工大)，東野 輝夫 (阪大)，
	  平石邦彦 (北陸先端大), 藤田 昌宏 (東大)， 
	  米田 友洋 (NII/東工大)

6. 問合せ先

本特集のホームページ:
  (和文)  http://logic.cs.tsukuba.ac.jp/FA/
  (英文)  http://logic.cs.tsukuba.ac.jp/FA/en/

問合せ先:
  亀山 幸義
  筑波大学 コンピュータサイエンス専攻
  TEL&FAX (029)853-5758
  E-mail FA@logic.cs.tsukuba.ac.jp