Tue, Mar 13 AM 09:00 - 18:00 |
(1) |
09:00-09:25 |
Supporting Method Naming for Java Programs Using Verb-Object Relations |
Yuya Onizuka (Osaka Univ.), Yasuhiro Hayase (Univ. of Tsukuba), Takashi Ishio, Katsuro Inoue (Osaka Univ.) |
(2) |
09:25-09:50 |
A development method of embedded systems using the shared variable based binding mechanism |
Takeshi Ogihara (Kyoto Sangyo Univ.) |
(3) |
09:50-10:15 |
A Supporting Method of Generating Sequence Control Programs using Japanese Scenarios |
Eiji Shiota, Atsushi Ohnishi (Ritsumeikan U.) |
(4) |
10:15-10:40 |
A Software FMEA Method and Its Use in Software Product Line |
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) |
|
10:40-10:50 |
Break ( 10 min. ) |
(5) |
10:50-11:15 |
Code Clone Detection Method Designed for Information of Repetition in Source Code |
Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ.) |
(6) |
11:15-11:40 |
Method-based Code Clone Detection for a Large Number of Software Systems |
Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto (Osaka Univ) |
(7) |
11:40-12:05 |
Near-Miss Clone Detection Based on Two-Stage Clustering Using Neighborhood Hashing |
Shunsuke Yoshioka, Norihiro Yoshida, Kyohei Fushida, Hajimu Iida (NAIST) |
|
12:05-13:05 |
Lunch Break ( 60 min. ) |
(8) |
13:05-13:30 |
A development assistance method for Ruby on Rails Application with Alloy |
Hiroaki Mizutani, Shoji Yuen (Nagoya Univ.) |
(9) |
13:30-13:55 |
Bi-directinal Translation Method between OCL and JML based on Model Driven Development |
Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(10) |
13:55-14:20 |
Automatic derivation of test cases for Java using an SMT solver and a PDG generator. |
Yukihiro Sasaki, Kazuki Kobayashi, Kozo Okano, Shinji Kusumoto (Osaka Univ) |
|
14:20-14:30 |
Break ( 10 min. ) |
(11) |
14:30-14:55 |
Programming Process Visualization for Supporting Students in Programming Exercise |
Syun Saito, Makoto Yamada (TUT), Hiroshi Igaki, Shinji Kusumoto (OSAKA-U), Akifumi Inoue, Tohru Hoshi (TUT) |
(12) |
14:55-15:20 |
Coding Pattern Analysis for Novice Programmer in Programming Exercise |
Kyohei Fushida (NAIST), Haruaki Tamada (Kyoto Sangyo Univ.), Hiroshi Igaki (Osaka Univ.), Kenji Fujiwara, Norihiro Yoshida (NAIST) |
(13) |
15:20-15:45 |
Handsfree Voice Interface for Home Network Service Using a Microphone Array Network |
Shimpei Soda, Masahide Nakamura, Shinsuke Matsumoto, Noriyuki Matsubara, Koji Kugata, Shintaro Izumi, Hiroshi Kawaguchi, Masahiko Yoshimoto (Kobe Univ.) |
(14) |
15:45-16:10 |
Experiment of Creation for Personal Remote Controller in Home Network System |
Keisuke Tokuda, Takuya Inada, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
|
16:10-16:20 |
Break ( 10 min. ) |
(15) |
16:20-16:45 |
A proposal of web complexity metrics for Ajax and it's trial tool |
Yuki Kagaya, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ) |
(16) |
16:45-17:10 |
An Empirical Study of Bug Prediction for Software Changes |
Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
(17) |
17:10-17:35 |
Fault-Localization that focuses on the program structure and debugging support |
Kiyofumi Shimojo, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
(18) |
17:35-18:00 |
An Execution Time Estimation Method of Functions and Its Application in a Distributed Computing Environment |
Kano Kurihara, Yasuhiro Sugiyama (Nihon Univ.) |
Wed, Mar 14 AM 09:00 - 12:30 |
(19) |
09:00-09:25 |
Decidability of Query Preservation for Deterministic Linear Top-Down Tree Transducers |
Ryuta Sawada (Osaka Univ.), Kenji Hashimoto (NAIST), Yasunori Ishihara, Toru Fujiwara (Osaka Univ.) |
(20) |
09:25-09:50 |
Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes |
Yasunori Ishihara (Osaka Univ.), Shogo Shimizu (AIIT), Kenji Hashimoto (NAIST), Toru Fujiwara (Osaka Univ.) |
(21) |
09:50-10:15 |
A Trend Analysis on Software Evolution Research
-- Based on a Literature Review on IWPSE Series -- |
Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.), Shinpei Hayashi (Tokyo Tech.), Atsushi Sawada (Nanzan Univ.) |
(22) |
10:15-10:40 |
Traceability reconstruction for Software Project
-- Application to Real Project -- |
Manabu Miyashita, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Uni.) |
|
10:40-10:50 |
Break ( 10 min. ) |
(23) |
10:50-11:15 |
CodeForest: Visualizing the Structure, Characteristics and Dependencies of Software for Program Comprehension |
Daiki Todoroki, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.) |
(24) |
11:15-11:40 |
A Technique for Locating Features in Multi-Layer Systems Based on Formal Concept Analysis |
Hiroshi Kazato (NTT), Shinpei Hayashi (Tokyo Tech), Satoshi Okada, Shunsuke Miyata, Takashi Hoshino (NTT), Motoshi Saeki (Tokyo Tech) |
(25) |
11:40-12:05 |
Design and Implementation of Domain-Specific Language for Mining Software Repositories |
Kazuhiro Yamashita, Daisuke Yamamoto, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.) |
(26) |
12:05-12:30 |
Grouping Objects for Executing Trace Analysis based on Design Patterns |
Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa (Nagoya Univ.) |