12月14日(火) 午後
13:40 - 18:00 |
| (1) |
13:40-14:10 |
負荷容量参照モデルに基づくプロジェクトスケジューリング法 |
○齋藤彰儀（北陸先端大）・艸薙 匠（東芝/北陸先端大）・落水浩一郎（北陸先端大） |
| (2) |
14:10-14:40 |
複数の手法による予測結果が比較可能な工数予測ツールの開発と評価 |
○生方克馬（阪大）・柿元 健（香川高専）・楠本真二（阪大） |
| (3) |
14:40-15:10 |
メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察 |
○畑 秀明（阪大）・水野 修（京都工繊大）・菊野 亨（阪大） |
| |
15:10-15:20 |
休憩 （ 10分 ） |
| (4) |
15:20-15:50 |
抽象データタイプ・データベース管理システム ～ OSの核(kernel)として ～ |
○嶋 胤俊・西 邦彦・奥井 順（近畿大）・関 浩之（奈良先端大） |
| (5) |
15:50-16:20 |
抽象的データタイプの記述言語としての代数的仕様記法 |
○西 邦彦・嶋 胤俊・奥井 順（近畿大）・関 浩之（奈良先端大） |
| (6) |
16:20-16:50 |
順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について |
○服部達哉・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大） |
| |
16:50-17:00 |
休憩 （ 10分 ） |
| (7) |
17:00-17:30 |
文字列汚染解析によるWebアプリケーションのインジェクション脆弱性検査 |
○法安辰典・小内一矢・西田誠幸（拓殖大） |
| (8) |
17:30-18:00 |
Secure User-Role Assignment in Cross-Organizational Role-Based Access Control |
Yuki Tomotani・○Yuichi Kaji・Hiroyuki Seki（NAIST） |
12月15日(水) 午前
09:00 - 12:15 |
| (9) |
09:00-09:30 |
The Validity Problem of Positive XPath Queries in the Presence of DTDs |
○Kenji Hashimoto（NAIST）・Yasunori Ishihara・Toru Fujiwara（Osaka Univ.） |
| (10) |
09:30-10:00 |
ソースコードコーパスを利用したシームレスな再利用支援 |
山本哲男（立命館大）・○吉田則裕（奈良先端大）・肥後芳樹（阪大） |
| (11) |
10:00-10:30 |
プログラム依存グラフを用いたリファクタリング候補の特定と可視化 |
○兼光智子・肥後芳樹・楠本真二（阪大） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (12) |
10:45-11:15 |
複数のメソッドにまたがって存在するコードクローンの検出に向けて |
○肥後芳樹・楠本真二（阪大） |
| (13) |
11:15-11:45 |
改版履歴情報を用いたクラス図の変更量の計測の試み |
○山田慎也・肥後芳樹・楠本真二（阪大） |
| (14) |
11:45-12:15 |
凝集度によるコード片の機能別分類手法 |
○木下正喬・吉田則裕・飯田 元（奈良先端大） |
: 
a
-
