1月10日(木) 午後 論理と形式手法
13:00 - 14:30 |
| (1) |
13:00-13:30 |
DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題 |
○楠 洋平（阪大）・橋本健二（奈良先端大）・石原靖哲・藤原 融（阪大） |
| (2) |
13:30-14:00 |
制約付き項のインスタンスを受理する制約付き木オートマトンの構成法 |
○中野靖大・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） |
| (3) |
14:00-14:30 |
リファインメント・プランニング |
○中島 震（NII） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
1月10日(木) 午後 アルゴリズムと言語処理系
14:45 - 15:45 |
| (4) |
14:45-15:15 |
APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み |
○塩出拓也・川端英之・北村俊明（広島市大） |
| (5) |
15:15-15:45 |
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 |
○安藤 聡・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） |
| |
15:45-16:00 |
休憩 （ 15分 ） |
1月10日(木) 午後 テスト
16:00 - 17:00 |
| (6) |
16:00-16:30 |
パラメータ値に関する制約を考慮したランダムテストの不具合検出率について |
○重岡大樹・小島英春・土屋達弘（阪大） |
| (7) |
16:30-17:00 |
テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール“Jvis”の開発 |
○松岡慎吾・片山徹郎（宮崎大） |
| |
18:30-20:30 |
懇親会（開始時刻の変更可能性あり） （ 120分 ） |
1月11日(金) 午前 文書とモデリング
09:00 - 10:00 |
| (8) |
09:00-09:30 |
ソフトウェア文書の抽象化に関する一考察 |
里中真人・伊豫田善隆・○大西 淳（立命館大） |
| (9) |
09:30-10:00 |
Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究 |
○小澤貴之・鷲崎弘宜・深澤良彰（早大） |
| |
10:00-10:15 |
休憩 （ 15分 ） |
1月11日(金) 午前 プログラム解析と開発支援
10:15 - 12:15 |
| (10) |
10:15-10:45 |
デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法 |
○山崎康生・高田喜朗（高知工科大） |
| (11) |
10:45-11:15 |
オープンソースソフトウェアにおけるソフトウェアライセンス間の包含関係の調査 |
○眞鍋雄貴・井上克郎（阪大） |
| (12) |
11:15-11:45 |
プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 |
○渥美紀寿（名大）・小林隆志（東工大）・阿草清滋（京大） |
| (13) |
11:45-12:15 |
Androidアプリケーションの運用時消費電力分析 |
○古庄裕貴・久住憲嗣（九大）・神山 剛・稲村 浩（NTTドコモ）・中西恒夫・福田 晃（九大） |
: 
