|
|
| Chair |
|
Kozo Okano (Shinshu Univ.) |
| Vice Chair |
|
Yoshiki Higo (Osaka Univ.) |
| Secretary |
|
Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) |
| Assistant |
|
Shinsuke Matsumoto (Osaka Univ.) |
|
|
|
| Chair |
|
Tatsuhiro Tsuchiya (Osaka Univ.) |
| Vice Chair |
|
Toshinori Hosokawa (Nihon Univ.) |
| Secretary |
|
Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.) |
|
| Conference Date |
Wed, Oct 11, 2023 14:30 - 17:15
Thu, Oct 12, 2023 10:00 - 11:55 |
| 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) |
| 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 SS, DC. |
Wed, Oct 11 PM
14:30 - 15:45 |
| (1) |
14:30-14:55 |
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT  SS2023-21 DC2023-27 |
Shogo Kanzaki, Taku Okuno (FUN) |
| (2) |
14:55-15:20 |
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications SS2023-22 DC2023-28 |
Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ) |
| (3) |
15:20-15:45 |
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 -- SS2023-23 DC2023-29 |
Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
| |
15:45-16:00 |
Break ( 15 min. ) |
Wed, Oct 11 PM
16:00 - 17:15 |
| (4) |
16:00-16:25 |
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion SS2023-24 DC2023-30 |
Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.) |
| (5) |
16:25-16:50 |
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain SS2023-25 DC2023-31 |
Nobuho Inamura, Masato Kitakami (Chiba Univ.) |
| (6) |
16:50-17:15 |
Low power consumption of neural networks using memory bit reduction and sampling SS2023-26 DC2023-32 |
Hirokazu Kodachi, Masato Kitakami (Chiba Univ.) |
Thu, Oct 12 AM
10:00 - 10:50 |
| (7) |
10:00-10:25 |
A game-theoretic approach to indistinguishability of winning objectives as user privacy SS2023-27 DC2023-33 |
Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) |
| (8) |
10:25-10:50 |
Robustness trends of DP-SGD, a machine learning with differential privacy SS2023-28 DC2023-34 |
Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII) |
| |
10:50-11:05 |
Break ( 15 min. ) |
Thu, Oct 12 AM
11:05 - 11:55 |
| (9) |
11:05-11:30 |
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies SS2023-29 DC2023-35 |
Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University) |
| (10) |
11:30-11:55 |
SS2023-30 DC2023-36 |
|
| 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 Ogata (Shinshu University)
TEL: +81-26-269-5468
E- : o      nshu-u |
| 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: 2023-10-08 16:27:59
|