|
|
| 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 |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Tue, Mar 11 AM
10:00 - 13:00 |
| (1) |
10:00-10:30 |
An Extension of Alloy with Time Constraints  SS2013-72 |
Ryota Kuroita, Shoji Yuen (Nagoya Univ.) |
| (2) |
10:30-11:00 |
Generation and Verification of Decision Table using SAT Solver SS2013-73 |
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 SS2013-74 |
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 SS2013-75 |
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 SS2013-76 |
Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.) |
| (6) |
13:30-14:00 |
On Detecting Useless Transition Rules of Constrained Tree Automata SS2013-77 |
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 SS2013-78 |
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 SS2013-79 |
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 SS2013-80 |
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 SS2013-81 |
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 SS2013-82 |
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 SS2013-83 |
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 SS2013-84 |
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 SS2013-85 |
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 SS2013-86 |
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 SS2013-87 |
Tomoya Ishihara, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| |
10:55-11:05 |
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 SS2013-88 |
Azusa Kurihara, Akira Sasaki (Hosei Univ.), Ken Wakita (Tokyo Tech) |
| (18) |
11:35-12:05 |
Design of the DSL-Line Engineering Supporting Environment SS2013-89 |
Changyun Huang, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (19) |
12:05-12:35 |
Evaluation for the Value of Refactoring with Mining Software Repositories SS2013-90 |
Shuhei Kimura, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each 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
|