8月2日(月) 午後
13:00 - 17:15 |
| (1) |
13:00-13:30 |
高階書換え系の決定可能な計算戦略について |
○粕谷英人（愛知県立大）・酒井正彦・阿草清滋（名大） |
| (2) |
13:30-14:00 |
インタフェースの provide-require 関係の解析に基づいた自動的な構成管理手法の提案 |
○早瀬康裕（阪大）・神谷年洋（JST）・松下 誠・井上克郎（阪大） |
| (3) |
14:00-14:30 |
プログラムの変更履歴に基づくリファクタリング支援 |
○林 晋平（東工大）・栗原正仁（北大） |
| (4) |
14:30-15:00 |
ゆかりコア： ネットワーク家電のための分散協調型サービス構築基盤 |
○沢田篤史（京大/NICT）・多鹿陽介（東芝）・山崎達也（NICT）・美濃導彦（京大/NICT） |
| |
15:00-15:15 |
休憩 （ 15分 ） |
| (5) |
15:15-15:45 |
ニューラルネットワークを用いたコマンド予測シェルの試作 |
○北川俊広・杉山安洋（日大） |
| (6) |
15:45-16:15 |
高階移動エージェント向けJavaパッケージの開発 ～ 関数型言語実装の一手段 ～ |
○神林 靖（日本工大）・滝本宗宏（東京理科大）・児玉靖司（法政大） |
| (7) |
16:15-16:45 |
状態マシンモデルに基づいたセキュリティプロトコルの仕様化 |
○板橋吾一（東北大/サイエンティア）・高橋 薫・加藤 靖（仙台電波高専）・菅沼拓夫・白鳥則郎（東北大） |
| (8) |
16:45-17:15 |
モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド |
○大久保弘崇・山本晋一郎（愛知県立大）・坂部俊樹（名大）・稲垣康善（愛知県立大） |
8月3日(火) 午前
10:00 - 12:00 |
| (9) |
10:00-10:30 |
既存システムのユースケース図を利用したステークホルダと非機能要求の獲得法 |
○海谷治彦・長田 晃・海尻賢二（信州大） |
| (10) |
10:30-11:00 |
ソフトウェア部品推薦のための協調フィルタリング手法の提案と実現 |
○市井 誠（阪大）・山本哲男（立命館大）・横森励士・井上克郎（阪大） |
| (11) |
11:00-11:30 |
関数型言語ML向け形式的検証支援システムの試作 |
○才村徹也・岡野浩三・谷口健一（阪大） |
| (12) |
11:30-12:00 |
分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装 |
○牧寺 彩・岡野浩三・谷口健一（阪大） |
8月3日(火) 午後
13:00 - 15:00 |
| (13) |
13:00-13:30 |
On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems |
○Naoki Nishida・Masahiko Sakai・Toshiki Sakabe（Nagoya Univ.） |
| (14) |
13:30-14:00 |
ソースコード検索システムの試作とフリーソフトウェアへの適用実験 |
○松尾景樹・宮西一徳・荻原剛志（神戸大） |
| (15) |
14:00-14:30 |
複数名技術者による同時編集作業における競合の抑制と並列化の両立 |
○梶原直人・杉山安洋（日大） |
| (16) |
14:30-15:00 |
型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案 |
○五百蔵重典・野木兼六（神奈川工科大） |
: 
n
w
