フォーマルアプローチ特集論文募集 電子情報通信学会論文誌 英文ED分冊 フォーマルアプローチ特集 編集委員会 フォーマルアプローチ(形式手法・形式技法・形式理論)は，ハードウェア，ソ フトウェア，システムの設計開発における信頼性向上の鍵となる重要な基盤で あり，これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成， テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきま した．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプロー チは従来にも増して多様な分野で用いられるようになり，ますます発展してい ます． 本特集は，情報システムの設計・運用におけるフォーマルアプローチについて， 基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特 化したケーススタディから，分野横断的な手法や理論まで，様々な方面から， フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野 の研究が更に発展することを目指しております． 奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野 主な対象は以下の通りですが，これに限らず，「情報システムおよびそれをと りまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳 密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文 を広く募集します． - 基礎理論: 形式論理，オートマトン・形式言語理論，システムの形式的意味 論，書換え系などの計算モデルに関する理論． - 形式記述技法: ペトリネット，プロセス代数，時間オートマトン，ステート チャート，UML，Z，VDM，Bメソッド，Alloy など． - 設計検証技法: モデル検査，定理証明，テスト技法，情報セキュリティの定 式化・検証技法など． - データベースシステム，分散システム，組込みシステムなど種々の情報シス テムへの，主に上で述べた理論や技法を用いたフォーマルなアプローチ． 2. 論文の執筆と取扱い - 論文(一般論文)，レター，及びサーベイ論文を募集します．投稿規定等は電 子情報通信学会の英文誌の規定と同じです．以下の規定を御参照ください． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール 論文投稿締切 平成 23年 7月18日(月) 23:59 JST 第一回判定通知予定 平成 23年 9月14日(水) 初回修正締切 平成 23年11月13日(日) 最終判定通知予定 平成 23年12月22日(木) 発行予定 平成 24年 5月号 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. 特集 編集委員会 委員長 結縁祥治(名大) 幹事 磯部祥尚(産総研) 緒方和博(北陸先端大) 土屋達弘(阪大) 委員 石原靖哲(阪大) 岩沼宏治(山梨大) 岡野浩三(阪大) 河辺義信(愛知工大) 坂本比呂志(九工大) 寺内多智弘(東北大) 蓮尾一郎(京大) 廣川直(JAIST) 南出靖彦(筑波大) 米田友洋(NII/東工大) 6. 問合せ先 本特集のホームページ: (和文) http://www.agusa.i.is.nagoya-u.ac.jp/FA/index-j.html (英文) http://www.agusa.i.is.nagoya-u.ac.jp/FA/ 結縁 祥治 fa-submit@agusa.i.is.nagoya-u.ac.jp 〒464-8601 名古屋市千種区不老町 名古屋大学 大学院情報科学研究科 FAX: 052-789-3649