|
|
| Chair |
|
Kazuhiro Ogata (JAIST) |
| Vice Chair |
|
Akio Nakata (Hiroshima City Univ.) |
| Secretary |
|
Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.) |
| Assistant |
|
Kazuyuki Shima (Hiroshima City Univ.) |
|
| Conference Date |
Thu, Mar 9, 2017 09:30 - 17:20
Fri, Mar 10, 2017 09:15 - 15:10 |
| Topics |
|
| 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) |
Thu, Mar 9 AM
09:30 - 10:45 |
| (1) |
09:30-09:55 |
A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing  SS2016-60 |
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) |
| (2) |
09:55-10:20 |
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting SS2016-61 |
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) |
| (3) |
10:20-10:45 |
Debugging Pure Strategy Games SS2016-62 |
Shin Nakajima (NII) |
| |
10:45-11:00 |
Break ( 15 min. ) |
Thu, Mar 9 AM
11:00 - 12:15 |
| (4) |
11:00-11:25 |
SS2016-63 |
Akito Tanikado, Haruki Yokoyama, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (5) |
11:25-11:50 |
A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction SS2016-64 |
Sho Suzuki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) |
| (6) |
11:50-12:15 |
Equivalence Checking for Methods in Java and Its Applications SS2016-65 |
Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) |
| |
12:15-13:45 |
Break ( 90 min. ) |
Thu, Mar 9 PM
13:45 - 15:25 |
| (7) |
13:45-14:10 |
Extending Git Client for Retrieving Development History using Source Code Context SS2016-66 |
Miwa Sasaki, Naoto Ogura, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
| (8) |
14:10-14:35 |
SS2016-67 |
|
| (9) |
14:35-15:00 |
SS2016-68 |
|
| (10) |
15:00-15:25 |
A Trial of Traceability Visualization Tool for Information Seeking in Middle-Large-Scaled Open Source Software SS2016-69 |
Shu Kutsuzawa (Gakugei Univ), Hiroaki Hashiura (NIT), Atsuo Hazeyama (Gakugei Univ), Hironori Washizaki (Waseda Univ) |
| |
15:25-15:40 |
Break ( 15 min. ) |
Thu, Mar 9 PM
15:40 - 17:20 |
| (11) |
15:40-16:05 |
On the Use of Variation Points with Preprocessor Directives in Co-change Rule Mining SS2016-70 |
Tatsuya Mori, Takashi Kobayashi, Shinpei Hayashi (Tokyo Tech), Noritoshi Atsumi (Kyoto U.) |
| (12) |
16:05-16:30 |
A Study on Source Code Search and Classification using Distributed Representations SS2016-71 |
Tetsuo Yamamoto (Nihon Univ.) |
| (13) |
16:30-16:55 |
Analysis of Relation Betweeen on Changes Content and Code Dependency SS2016-72 |
Yuki Ueda, Toshihiro Kamiya (Shimane Univ) |
| (14) |
16:55-17:20 |
An Investigation of Extract Method to Construct Prediction Model Based on Process Metrics SS2016-73 |
Daiki Tanaka, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Kenji Fujiwara (NITTC), Hajimu Iida (NAIST) |
| |
- |
|
Fri, Mar 10 AM
09:15 - 10:30 |
| (15) |
09:15-09:40 |
Detecting Anormal Power Consumption in a Concurrent of Android Application SS2016-74 |
Takahiro Inagaki, Shoji Yuen (Nagoya Univ.) |
| (16) |
09:40-10:05 |
System Identification Method by Real-Time Calculus for Response Time Smoothing SS2016-75 |
Reiya Okamoto, Akio Nakata (Hiroshima City Univ) |
| (17) |
10:05-10:30 |
Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints SS2016-76 |
Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) |
| |
10:30-10:45 |
Break ( 15 min. ) |
Fri, Mar 10 AM
10:45 - 12:00 |
| (18) |
10:45-11:10 |
Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness SS2016-77 |
Takayuki Kuroda, Naoki Nishida, Hiroyuki Seki (Nagoya Univ.) |
| (19) |
11:10-11:35 |
Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers SS2016-78 |
Taka Ishihara, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
| (20) |
11:35-12:00 |
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification SS2016-79 |
Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) |
| |
12:00-13:30 |
Break ( 90 min. ) |
Fri, Mar 10 PM
13:30 - 15:10 |
| (21) |
13:30-13:55 |
Specifying Narratology by Using Software Modeling Perspectives SS2016-80 |
Minako Ooki, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.) |
| (22) |
13:55-14:20 |
SS2016-81 |
|
| (23) |
14:20-14:45 |
An Empirical Analysis of Uncertainty in OSS projects
-- When and Why does Uncertainty Appear or Disappear? -- SS2016-82 |
Hokuto Muraoka, Takuya Fukamachi, Kazuhiro Yamashita, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
| (24) |
14:45-15:10 |
Evaluation of a Security Requirement Analysis Support System using Software Security Knowledge Base SS2016-83 |
Atsuo Hazeyama, Shunichi Tanaka (Tokyo Gakugei Univ.), Takafumi Tanaka (TUAT), Seiji Munetoh (IBM Japan), Takao Okubo (IISEC) |
| |
- |
|
| 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 |
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E- :    ist  -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2017-01-12 11:52:34
|