|
|
| Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
| Vice Chair |
|
Kozo Okano (Shinshu Univ.) |
| Secretary |
|
Kazuyuki Shima (Hiroshima City Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) |
| Assistant |
|
Shinpei Ogata (Shinshu Univ.) |
|
|
|
| Chair |
|
Hiroshi Takahashi (Ehime Univ.) |
| Vice Chair |
|
Tatsuhiro Tsuchiya (Osaka Univ.) |
| Secretary |
|
Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) |
|
| Conference Date |
Mon, Oct 19, 2020 13:00 - 17:15 |
| Topics |
|
| Conference Place |
Online |
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) |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on DC, SS. |
Mon, Oct 19 PM
13:00 - 14:30 |
| (1) |
13:00-13:25 |
verification of shell script behavior by comparing logs.  SS2020-5 DC2020-22 |
Hitoshi Kiryu (Shinshu Univ.), Satoshi Suda (Advanced Technology R&D Center, MITSUBISHI Electric), Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
| (2) |
13:25-13:50 |
LTL Model Checking for Register Pushdown Systems SS2020-6 DC2020-23 |
Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) |
| (3) |
13:50-14:15 |
SS2020-7 DC2020-24 |
|
| |
14:15-14:30 |
Break ( 15 min. ) |
Mon, Oct 19 PM
14:30 - 16:00 |
| (4) |
14:30-14:55 |
SS2020-8 DC2020-25 |
|
| (5) |
14:55-15:20 |
An Empirical Study on Self-Admitted Technical Debt in Container-Based Virtualization SS2020-9 DC2020-26 |
Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Yasutaka Kamei (Kyushu Univ.), Shinji Kusumoto (Osaka Univ.) |
| (6) |
15:20-15:45 |
SS2020-10 DC2020-27 |
|
| |
15:45-16:00 |
Break ( 15 min. ) |
Mon, Oct 19 PM
16:00 - 17:15 |
| (7) |
16:00-16:25 |
SS2020-11 DC2020-28 |
|
| (8) |
16:25-16:50 |
A Prototype Tool to Predict Comment Line Positions for Code Review SS2020-12 DC2020-29 |
Toshihiro Kamiya (Shimane Univ.) |
| (9) |
16:50-17:15 |
SS2020-13 DC2020-30 |
|
| 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 |
Shinpei Hayashi (Tokyo Institute of Technology)
TEL: +81-3-5734-3213
E- :     c    |
| Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
| DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
| Contact Address |
Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E-: a i      n-u |
Last modified: 2020-11-09 13:11:14
|