10月23日(木) 午後 14:00 - 15:00 |
(1) |
14:00-14:30 |
Javaプログラミング学習のための空欄語選択アルゴリズムの提案 |
○塔 娜・舩曵信生・石原伸也(岡山大) |
(2) |
14:30-15:00 |
テストケースを利用したJavaプログラムのアクセス修飾子過剰性分析手法 |
○大西理功(阪大)・小堀一雄(NTTデータ)・松下 誠・井上克郎(阪大) |
|
15:00-15:15 |
休憩 ( 15分 ) |
10月23日(木) 午後 15:15 - 16:45 |
(3) |
15:15-15:45 |
リポジトリシステムとソフトウェア信頼性モデルを用いた欠陥数予測 |
○本田 澄・鷲崎弘宜・深澤良彰(早大) |
(4) |
15:45-16:15 |
UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成 |
○荒川 洸・結縁祥治(名大) |
(5) |
16:15-16:45 |
木文法による圧縮XML文書に対する問合せと更新手法 |
○尾上栄浩(奈良先端大)・橋本健二・関 浩之(名大)・伊藤 実(奈良先端大) |
10月24日(金) 午前 09:30 - 11:00 |
(6) |
09:30-10:00 |
XMLスキーマのもとでのXPath問い合わせの型振る舞い等価性を判定する多項式時間アルゴリズム |
○二神 司・石原靖哲・藤原 融(阪大) |
(7) |
10:00-10:30 |
有界な時区間におけるコスト制約問題としての電力消費解析 |
○中島 震(NII) |
(8) |
10:30-11:00 |
離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 |
○廣田 樹・結縁祥治(名大)・東道徹也(デンソー) |