ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
Chair: Hiroyuki Seki (NAIST) Vice Chair: Shin Nakajima (NII)
Secretary: Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.)
Assistant: Hironobu Washizaki (Waseda Univ.)

DATE:
Tue, Mar 13, 2012 09:00 - 18:00
Wed, Mar 14, 2012 09:00 - 12:30

PLACE:
Tenbusu Naha(3-2-10, Makishi, Naha-shi, Okinawa, 900-0013 Japan. 400m from Makishi-sta.http://www.tenbusu.jp/shisetsu_riyou/access/index.html. Prof. Hiroyuki Seki)

TOPICS:
General topics

----------------------------------------
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.)

----- 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)

----- 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)

----- 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.)

----- 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.)

----- 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.)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.

# CONFERENCE ANNOUNCEMENT:
- Please join us for an opening reception.

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, May 10, 2012 - Fri, May 11, 2012: Ehime Univ. [Thu, Mar 15], Topics: General topics

# SECRETARY:
Yoshiaki Takata (Kochi Univ. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E-mail: