Thu, Dec 17 PM 13:40 - 18:00 |
(1) |
13:40-14:10 |
Application of Open Distributed Aspect-Oriented Framework to Intelligent Transportation Systems |
Ryoto Naruse, Jun Nomura, Keiji Hokamura, Naoyasu Ubayashi (kyushu inst. of tech.), Takahiro Shidai, Akihito Iwai (Denso Corp.) |
(2) |
14:10-14:40 |
Development Methods for Domain Specific Language Processors |
Akira Sasaki, Hiroshi Ichikawa (Housei Univ.) |
(3) |
14:40-15:10 |
A Method to Compose Regular Web Pages from Mobile Web Pages
-- Web Page Modeling and Evaluation -- |
Hiroki Katsumata (Waseda Univ.), Kouichi Ono (IBM-J), Yoshiaki Fukazawa (Waseda Univ.) |
|
15:10-15:20 |
Break ( 10 min. ) |
(4) |
15:20-15:50 |
Precise Analysis of Web Application for SQL Injection Vulnerability by an Analysis of Condition Expressions |
Tomonori Ohashi, Heng Li, Seikoh Nishita (Takushoku Univ.) |
(5) |
15:50-16:20 |
Argument Filtering and Usable Rules in Higher-Order Rewrite Systems |
Sho Suzuki, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) |
(6) |
16:20-16:50 |
On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems |
Yoshimasa Mishuku, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
|
16:50-17:00 |
Break ( 10 min. ) |
(7) |
17:00-18:00 |
[Invited Talk]
(TBD) Software Testing
Zengo Fukuyawa, Tomohiko Takagi (Kagawa Univ.) |
Fri, Dec 18 AM 08:40 - 12:30 |
(8) |
08:40-09:10 |
Program Generation Based on Transformation of Conditional Equations |
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.) |
(9) |
09:10-09:40 |
A modelling of computer processing as transformation of representation |
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo.) |
(10) |
09:40-10:10 |
A behavioral model for debugging multicore real-time applications based on execution traces |
Hiroki Mizuno, Shoji Yuen (Nagoya Univ) |
|
10:10-10:20 |
Break ( 10 min. ) |
(11) |
10:20-10:50 |
Refactoring Support by Searching Applicable Steps to Change Source Code |
Ryo Fukushima, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ) |
(12) |
10:50-11:20 |
A Change Impact Analysis Based Testing Tool for Refactoring |
Masatomo Yoshida, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
|
11:20-11:30 |
Break ( 10 min. ) |
(13) |
11:30-12:00 |
Low Quality Module Prediction from Design Documents Metrics using Software Tag |
Shinichi Katayama, Kimiharu Ohkura, Kyohei Fushida, Shinji Kawaguchi (NAIST), Masataka Nagura (NAIST/Hitachi), Akito Monden, Hajimu Iida (NAIST) |
(14) |
12:00-12:30 |
A Trend Prediction of Code Churn in Open Source Development
-- An Application of Growth Curve Model -- |
Hirohisa Aman (Ehime Univ.) |