Thu, Dec 18 PM
14:00 - 16:15 |
| (1) |
14:00-14:30 |
An Observation of Maintenance Process in Agile Software Development using Bug Tracking System |
Kyohei Fushida, Yuki Ohmae, Masataka Nagura, Shinji Kawaguchi, Kimiharu Ohkura, Hajimu Iida (Nara Inst. of Scie and Tech.) |
| (2) |
14:30-15:00 |
Experimentally Deriving Probability of Program Piracy based on Length of Code Clone |
Satoshi Okahara (Nara Inst. of Sence and Tech.), Yuki Manabe (Osaka Univ.), Hiroki Yamauchi, Akito Monden, Ken-ichi Matsumoto (Nara Inst. of Sence and Tech.), Katsuro Inoue (Osaka Univ.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker |
Motoshi Saeki (Tokyo Tech.), Haruhiko Kaiya (Shinshu Univ.), Satoshi Hattori (Tokyo Tech.) |
| (4) |
15:45-16:15 |
Overheads in using version control systems and techniques to reduce them |
Hitoshi Sakai, Katsuhiko Gondow (Tokyo Inst. of Tech.) |
Fri, Dec 19 AM
09:30 - 12:15 |
| (5) |
09:30-10:00 |
A modelling method for understanding computer behaviours at the user-interface level |
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) |
| (6) |
10:00-10:30 |
Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions |
Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
| (7) |
10:30-11:00 |
Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs |
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
| (8) |
11:15-11:45 |
XML Processing Techniqes Based on Tree Automata |
Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (Nara Inst. of Scei and Tech.) |
| (9) |
11:45-12:15 |
Description and Query of Sensing Data for Their Open Access |
Hiroshi Takahashi, Naruki Mitsuda, Tsuneo Ajisaka (Wakayama Univ.) |
: 
n
