===============================================
Technical Committee on Software Science (SS)
Chair: Shin Nakajima (NII) Vice Chair: Shoji Yuen (Nagoya Univ.)
Secretary: Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.)
Assistant: Takashi Kobayashi (Tokyo Inst. of Tech.)
DATE:
Tue, Mar 11, 2014 10:00 - 18:00
Wed, Mar 12, 2014 09:25 - 12:35
PLACE:
TOPICS:
Software Science
----------------------------------------
Tue, Mar 11 AM (10:00 - 13:00)
----------------------------------------
(1) 10:00 - 10:30
An Extension of Alloy with Time Constraints
Ryota Kuroita, Shoji Yuen (Nagoya Univ.)
(2) 10:30 - 11:00
Generation and Verification of Decision Table using SAT Solver
Shinji Itoh, Naoto Sato, Hidetaka Kondoh, Kunihiko Miyazaki, Hiroki Mori, Makoto Kimura, Kiyoshi Yamaguchi (Hitachi)
(3) 11:00 - 11:30
Inverse Unfold Problem and Its Heuristic Solving
Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida (Nagoya Univ.)
(4) 11:30 - 12:00
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java
Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
----- Break ( 60 min. ) -----
----------------------------------------
Tue, Mar 11 PM (13:00 - 14:45)
----------------------------------------
(5) 13:00 - 13:30
Analyzing Requirememts Sentences for Checking Use Case Descriptions
Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.)
(6) 13:30 - 14:00
On Detecting Useless Transition Rules of Constrained Tree Automata
Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Kenji Hashimoto (Nagoya Univ.)
(7) 14:00 - 14:30
Influence of Power-Saving Processor on Power Consumption Model of Android Applications
Shin Nakajima (NII)
----- Break ( 15 min. ) -----
----------------------------------------
Tue, Mar 11 PM (14:45 - 16:15)
----------------------------------------
(8) 14:45 - 15:15
A Detection Method for Intended Accessibility Excessiveness in Java Programs Using Design Information
Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
(9) 15:15 - 15:45
Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications
Izuru Kume (NAIST), Naoya Nitta (Konan Univ.), Masahide Nakamura (Kobe Univ.), Etsuya Shibayama (Univ. of Tokyo)
(10) 15:45 - 16:15
Facilitate Defect Removal Using Static Analysis Tools by introducing competition
Satoshi Arai (Waseda Univ.), Kazunori Sakamoto (NII), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
----- Break ( 15 min. ) -----
----------------------------------------
Tue, Mar 11 PM (16:30 - 18:00)
----------------------------------------
(11) 16:30 - 17:00
Supporting Task Level Commit Pattern with using Fine-Grained Version History
Koichi Umekawa, Hiroshi Igaki (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.)
(12) 17:00 - 17:30
Classification of Commits by Analyzing Identifiers in Source Code
Kenji Yamauchi, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(13) 17:30 - 18:00
A change guide tool based on interaction and recommendation history
Akihiro Yamamori, Takashi Kobayashi (Tokyo Tech.)
----------------------------------------
Wed, Mar 12 AM (09:25 - 11:05)
----------------------------------------
(14) 09:25 - 09:55
Metrics of design quality for Simulink model based on cohesion of subsystem
Yuya Suzuki, Takashi Kobayashi (Tokyo Tech.), Takayuki Kubo (AISIN AW CO., LTD.)
(15) 09:55 - 10:25
Execution Trace Abstraction by Dynamic Characteristics of Objects
Tatsuya Toda (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.)
(16) 10:25 - 10:55
Code Completion with Code Clones
Tomoya Ishihara, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
----- Break ( 10 min. ) -----
----------------------------------------
Wed, Mar 12 AM (11:05 - 12:35)
----------------------------------------
(17) 11:05 - 11:35
An Implementation Method of Domain Specific Languages based on Visual Block and their Development Tool
Azusa Kurihara, Akira Sasaki (Hosei Univ.), Ken Wakita (Tokyo Tech)
(18) 11:35 - 12:05
Design of the DSL-Line Engineering Supporting Environment
Changyun Huang, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
(19) 12:05 - 12:35
Evaluation for the Value of Refactoring with Mining Software Repositories
Shuhei Kimura, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Thu, May 8, 2014 - Fri, May 9, 2014: ISE SHIMIN - KATSUDOU Center [Mon, Mar 31], Topics: General topics
# SECRETARY:
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-mail:
# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/
Last modified: 2014-03-06 01:39:43
|
Notification: Mail addresses are partially hidden against SPAM.
|