Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
SS2023-21
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT
Shogo Kanzaki, Taku Okuno (FUN)
pp. 1 - 6
SS2023-22
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications
Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ)
pp. 7 - 12
SS2023-23
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 --
Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.)
pp. 13 - 18
SS2023-24
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion
Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 19 - 21
SS2023-25
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain
Nobuho Inamura, Masato Kitakami (Chiba Univ.)
pp. 22 - 26
SS2023-26
Low power consumption of neural networks using memory bit reduction and sampling
Hirokazu Kodachi, Masato Kitakami (Chiba Univ.)
pp. 27 - 31
SS2023-27
A game-theoretic approach to indistinguishability of winning objectives as user privacy
Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)
pp. 32 - 37
SS2023-28
Robustness trends of DP-SGD, a machine learning with differential privacy
Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII)
pp. 38 - 43
SS2023-29
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies
Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University)
pp. 44 - 49
SS2023-30
(See Japanese page.)
pp. 50 - 55
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.