IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
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.)

Conference Date Tue, Mar 11, 2014 10:00 - 18:00
Wed, Mar 12, 2014 09:25 - 12:35
Topics Software Science 
Conference Place  

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.)
  12:00-13:00 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)
  14:30-14:45 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.)
  16:15-16:30 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.)
  10:55-11:05 Break ( 10 min. )
Wed, Mar 12 PM 
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.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-:  
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.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan