電子情報通信学会論文誌英文ED分冊 第8回フォーマルアプローチ特集 

1. 論文募集 (テキスト版，pdf版)
2. 主なスケジュール
    論文投稿〆切：平成24年7月18日(水) 23:59 JST
    第1回判定通知予定：平成24年9月14日
    最終判定通知予定：平成24年12月22日
    発行予定：平成25年6月
3. 過去の掲載論文
    第1回特集(和文誌)
    第2回特集(和文誌)
    第3回特集(和文誌)
    第4回特集(英文誌，和文誌)
    第5回特集(英文誌)
    第6回特集(英文誌)
    第7回特集(英文誌)

論文募集

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

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

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

1. 対象分野

主な対象は以下の通りですが，これに限らず，「情報システムおよびそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します．

- 基礎理論：要求，仕様，検証，静的・動的解析等のフォーマルアプローチに関する理論．

- 方法論：軽量フォーマルメソッド，モデルベース設計，詳細化等のフォーマルアプローチに関する方法論．

- 言語：仕様記述言語，モデリング言語，モデルベース(プログラミング)言語，ハードウェア記述・検証言語．

- ツール：モデル検査器，定理証明器，静的・動的解析器．

- 応用：組込システム，ハイブリッドシステム，社会システム(内部統制等)等の形式解析，コンコリックテスト等のテスト技法，形式仕様からのコード生成．

2. 論文の執筆と取扱い

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

"The Information for Authors" (IEICE Transactions on Information and Systems)

http://www.ieice.org/eng/shiori/mokuji_iss.html

3. 主なスケジュール

 論文投稿締切            平成 24年 7月18日(水) 23:59 JST
 第一回判定通知予定  平成 24年 9月14日(金)
 初回修正締切            平成 24年11月13日(火)
 最終判定通知予定     平成 24年12月22日(土)
 発行予定                  平成 25年 6月号

4. 投稿方法

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

ステップ1. 論文を下記のweb pageから投稿してください．初期投稿時に，編集可能な論文本体(TeX/Word)，図，著者の写真, biographyも投稿する必要があります．

https://review.ieice.org/regist_e.aspx

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

``Type of Section (Issue)/Transactions''　 -> ``[Special ED] Formal Approach''

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

ステップ2. 仮登録後に作成される``Copyright Transfer and Page Charge Agreement''と``Confirmation Sheet of Manuscript Registration''に記入，署名し，論文投稿締切日までに下記問合せ先まで電子メールまたは郵便にてお送り下さい(電子メールが望ましいです)．

郵送の場合，封筒に『フォーマルアプローチ特集』と記載してください．

5. 特集 編集委員会

委員長   緒方和博 (北陸先端大)
幹事      岡野浩三 (阪大)
            磯部祥尚 (産総研)
            土屋達弘 (阪大) 
            結縁祥治 (名大)
委員      岩沼宏治 (山梨大)
            河辺義信 (愛知工大) 
            小林孝一 (北陸先端大)
            坂本比呂志 (九工大)
            寺内多智弘 (名大)
            中村正樹 (富山県立大)
            蓮尾一郎 (東大) 
            浜口清治 (阪大)
            廣川直 (北陸先端大)

6. 問合せ先

本特集のホームページ:
 (和文)  http://www.jaist.ac.jp/~ogata/FA/index-j.html
 (英文)  http://www.jaist.ac.jp/~ogata/FA/

 緒方 和博
 fa-submit at jaist dot ac dot jp
 〒923-1252 石川県能美市旭台1-1
 北陸先端科学技術大学院大学 情報科学研究科
 FAX: 0761-51-1149