| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== 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.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[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]