|
|
| Chair |
|
Akio Nakata (Hiroshima City Univ.) |
| Vice Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
| Secretary |
|
Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) |
| Assistant |
|
Shinpei Hayashi (Tokyo Inst. of Tech.) |
|
|
|
| Chair |
|
Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
| Vice Chair |
|
Hiroshi Takahashi (Ehime Univ.) |
| Secretary |
|
Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) |
|
| Conference Date |
Thu, Oct 24, 2019 13:00 - 17:30
Fri, Oct 25, 2019 10:00 - 11:40 |
| Topics |
Software Systems, 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) |
| 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. |
Thu, Oct 24 PM
13:00 - 14:15 |
| (1) |
13:00-13:25 |
 SS2019-13 DC2019-41 |
|
| (2) |
13:25-13:50 |
Design of reconstructing a CUI tool as a service for supporting development SS2019-14 DC2019-42 |
Ko Miyazaki, Haruaki Tamada (Kyoto Sangyo Univ.) |
| (3) |
13:50-14:15 |
SS2019-15 DC2019-43 |
|
| |
14:15-14:30 |
Break ( 15 min. ) |
Thu, Oct 24 PM
14:30 - 15:45 |
| (4) |
14:30-14:55 |
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems SS2019-16 DC2019-44 |
Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.) |
| (5) |
14:55-15:20 |
Extending rewriting induction to existentially quantified equations SS2019-17 DC2019-45 |
Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.) |
| (6) |
15:20-15:45 |
SS2019-18 DC2019-46 |
() |
| |
15:45-16:00 |
Break ( 15 min. ) |
Thu, Oct 24 PM
16:00 - 17:30 |
| (7) |
16:00-16:25 |
A Non-scan Online Test Based on Covering n-Time State Transition SS2019-19 DC2019-47 |
Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) |
| (8) |
16:25-16:50 |
Error correction method using convolutional code in PPM compression SS2019-20 DC2019-48 |
Takumi Abe, Masato Kitakami (Chiba Univ.) |
| (9) |
16:50-17:30 |
|
Fri, Oct 25 AM
10:00 - 11:40 |
| (10) |
10:00-10:25 |
Finding groups of similar answers in programming contests with source code metrics. SS2019-21 DC2019-49 |
Kosuke Haraguchi, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.) |
| (11) |
10:25-10:50 |
SS2019-22 DC2019-50 |
|
| (12) |
10:50-11:15 |
SS2019-23 DC2019-51 |
|
| (13) |
11:15-11:40 |
Improvement of understandability metrics of UML Class Diagrams using word similarity SS2019-24 DC2019-52 |
Akihito Ihara, Shinji Uchida (NITNC) |
| 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/ |
| 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: 2019-10-03 06:13:52
|