|
|
| 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.) |
|
|
|
| Chair |
|
Michiko Inoue (NAIST) |
| Vice Chair |
|
Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
| Secretary |
|
Masayoshi Yoshimura (Kyoto Sangyo Univ.), Haruhiko Kaneko (Tokyo Inst. of Tech.) |
| Assistant |
|
Masayuki Arai (Nihon Univ.) |
|
| Conference Date |
Thu, Oct 19, 2017 13:15 - 18:05
Fri, Oct 20, 2017 09:30 - 11:30 |
| Topics |
Software System and Dependability on Network, etc |
| 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, Oct 19 PM SS-1
13:15 - 15:15 |
| (1) |
13:15-13:45 |
Towards a lambda-graph rewriting to analyze modification impacts and identify behaviors of dynamically typed procedural languages  SS2017-21 DC2017-20 |
Koji Yamamoto (Fujitsu Labs.) |
| (2) |
13:45-14:15 |
A Direct Update Method for Compressed Data with Top Tree SS2017-22 DC2017-21 |
Suguru Nishimura, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
| (3) |
14:15-14:45 |
A Transformation Method of XQuery Expressions for Evaluation on Compressed XML Documents SS2017-23 DC2017-22 |
Jukiya Ogura, Yasunori Ishihara, Toru Fujiwara (Osaka Univ.) |
| (4) |
14:45-15:15 |
Towards a behavioral model of Yampa programs in a discrete runtime environment SS2017-24 DC2017-23 |
Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.) |
| |
15:15-15:25 |
Break ( 10 min. ) |
Thu, Oct 19 PM SS-2
15:25 - 16:25 |
| (5) |
15:25-15:55 |
Making of Code Clone Elimination Problem Function for Java Programming Learning Assistant System SS2017-25 DC2017-24 |
Nobuya Ishihara, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.) |
| (6) |
15:55-16:25 |
An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System SS2017-26 DC2017-25 |
Khin Khin Zaw, Nobuo Funabiki (Okayama Univ.) |
| |
16:25-16:35 |
Break ( 10 min. ) |
Thu, Oct 19 PM SS-3
16:35 - 18:05 |
| (7) |
16:35-17:05 |
SS2017-27 DC2017-26 |
|
| (8) |
17:05-17:35 |
SS2017-28 DC2017-27 |
|
| (9) |
17:35-18:05 |
An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System SS2017-29 DC2017-28 |
Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.) |
| |
- |
|
Fri, Oct 20 AM DC-1
09:30 - 11:30 |
| (10) |
09:30-10:00 |
On the generation of constrained locating arrays using an SMT solver SS2017-30 DC2017-29 |
Hao Jin (Osaka Univ.), Eun-Hye Choi (AIST), Tatsuhiro Tsuchiya (Osaka Univ.) |
| (11) |
10:00-10:30 |
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks SS2017-31 DC2017-30 |
Michiko Inoue, Fukuhito Ooshita (NAIST), Sebastien Tixeuil (UPMC) |
| (12) |
10:30-11:00 |
Wormhole Attacks on Duty-Cycling Wireless Sensor Networks and Their Countermeasures SS2017-32 DC2017-31 |
Wang Wen Yang, Takashi Minohara (Takushoku Univ.) |
| (13) |
11:00-11:30 |
Generating Top-k List by Using Delay Tolerant Networks and Crowdsourcing SS2017-33 DC2017-32 |
Shouhei Karaguchi, Kazuya Sakai, Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 17 minutes for presentation and 8 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/ |
| DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2017-11-21 12:19:18
|