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) |
: t
ba
