Thu, Oct 23 PM 14:00 - 15:00 |
(1) |
14:00-14:30 |
A Proposal of Blank Element Selection Algorithm for Java Programming Learning |
Ta Na, Nobuo Funabiki, Nobuya Ishihara (Okayama Univ) |
(2) |
14:30-15:00 |
Analysis of Accessibility Excessiveness in Java Programs Using Test Cases as Design Information |
Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
Thu, Oct 23 PM 15:15 - 16:45 |
(3) |
15:15-15:45 |
Predicting Number of Faults Based on Software Reliability Growth Model from Repository System |
Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
(4) |
15:45-16:15 |
Code synthesis for LEGO Mindstorms EV3 using UPPAAL |
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.) |
(5) |
16:15-16:45 |
Query Evaluation and Update on XML Documents Compressed by Tree Grammars |
Takahiro Onoue (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ), Minoru Ito (NAIST) |
Fri, Oct 24 AM 09:30 - 11:00 |
(6) |
09:30-10:00 |
A polynomial time algorithm for determining type behavior equivalence of XPath queries under the XML schema |
Tsukasa Futagami, Yasunori Ishihara, Toru Fujiwara (Osaka Univ) |
(7) |
10:00-10:30 |
Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem |
Shin Nakajima (NII) |
(8) |
10:30-11:00 |
Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. |
Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) |