4月20日(木) 午後
13:30 - 17:10 |
| (1) |
13:30-14:00 |
シグナルにおけるデータ競合の検出 |
田原貴光・○権藤克彦（東工大） |
| (2) |
14:00-14:30 |
属性文法処理系 MAGE におけるOSLコード変換器のブートストラッピング |
○吉岡隆弘・萩原威志（新潟大） |
| (3) |
14:30-15:00 |
ソフトウェア意味モデルの要素構成に関する考察 |
○鯵坂恒夫（和歌山大） |
| (4) |
15:00-15:30 |
異機種ルータの相互接続試験活動 ～ 新しいネットワークアーキテクチャの導入を促進するために ～ |
○菊池 豊（高知工科大）・石原丈士（東芝）・永見健一（インテック・ネットコア）・楠田友彦（インテック・ウェブ・アンド・ゲノム・インフォマティクス）・菱岡裕男（ネクステック）・西内一馬（シティネット）・羽田友和（インテック・ネットコア）・水村雅明・正岡 元（高知工科大）・池田浩志・中川郁夫（インテック・ネットコア）・江崎 浩（東大） |
| |
15:30-15:40 |
休憩 （ 10分 ） |
| (5) |
15:40-16:10 |
リアルタイムステートチャートによる形式的手法 |
徳田 学・○山根 智（金沢大） |
| (6) |
16:10-16:40 |
強計算依存対法による高階書換え系の停止性証明 |
○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
| (7) |
16:40-17:10 |
差分を用いたシナリオ作成支援 |
○牧野正之・大西 淳（立命館大） |
4月21日(金) 午前
10:00 - 12:40 |
| (8) |
10:00-10:30 |
リファクタリング支援に用いる知識抽出のためのソフトウェアリポジトリの解析 |
○林 晋平・佐伯元司（東工大） |
| (9) |
10:30-11:00 |
デザインパターン検出のためのテストケース作成支援 |
○坂本良太・林 晋平・佐伯元司（東工大） |
| (10) |
11:00-11:30 |
ドメインオントロジーを用いた要求獲得法の提案 |
○海谷治彦（信州大）・佐伯元司（東工大） |
| |
11:30-11:40 |
休憩 （ 10分 ） |
| (11) |
11:40-12:10 |
外部委託率に着目したソフトウェアプロジェクトの生産性分析 |
○角田雅照・門田暁人（奈良先端大）・宿久 洋（同志社大）・菊地奈穂美（情報処理推進機構）・松本健一（奈良先端大） |
| (12) |
12:10-12:40 |
進行中のプロジェクトに有用なソフトウェアコンポーネントの推薦方法 |
○亀井靖高・角田雅照・柿元 健・大杉直樹・門田暁人・松本健一（奈良先端大） |
: 
n
w
