Interested Topics
- TBD
Research works
- S. Inoue, E. Choi, K. Nishiura, O. Mizuno, "形式手法による開発において報告された問題のトピックモデルによる分析," ソフトウェアシンポジウム2024論文集, pp. 122-130, June 2024.
- S. Inoue, E. Choi, K. Nishiura, and O. Mizuno, "Analyzing the Inpact of Formal Methods on Isuue Trends Using Bertopic," In Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024.
- S. Inoue, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査," 卒業研究報告書, 京都工芸繊維大学, February 2024.