| Tweet | |
| 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. | |
| ID | 960 |
| 分類 | 国際会議(査読付) |
| タグ | analyzing bertopic formal inpact isuue methods trends |
| 表題 (title) |
Analyzing the Inpact of Formal Methods on Isuue Trends Using Bertopic |
| 表題 (英文) |
|
| 著者名 (author) |
Soshi Inoue,Eunjong Choi,Kinari Nishiura,Osamu Mizuno |
| 英文著者名 (author) |
Soshi Inoue,Eunjong Choi,Kinari Nishiura,Osamu Mizuno |
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
Soshi Inoue,Eunjong Choi,Kinari Nishiura,Osamu Mizuno |
| 書籍・会議録表題 (booktitle) |
Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024) |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
|
| 号数 (number) |
|
| ページ範囲 (pages) |
|
| 組織名 (organization) |
|
| 出版元 (publisher) |
|
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
5 |
| 出版年 (year) |
2024 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
Honolulu, HI, USA |
| 注釈 (annote) |
10.1109/SERA61261.2024.10685613 |
| 内容梗概 (abstract) |
Software specification quality significantly influences overall software quality. Ambiguity in natural language specifications has been identified as a major obstacle to achieving high quality. Formal methods have been proposed as a solution to mitigate this issue, but their adoption in software development remains limited. While previous studies have primarily focused on the challenges of introducing formal methods, few reports exist on the effects of applying formal methods in software development. To tackle this issue, this study analyzes the trends in OSS (open source software) with and without formal methods, based on issues collected from GitHub repositories. We employed BERTopic, a topic modeling technique, to extract topics associated with issues. Subsequently, we labeled the issues and statistically compared topics of issues in OSS with and without formal methods. The results indicate a significant difference in the tendency of issues between OSSs with formal methods and without formal methods, particularly in the frequency of reported errors. These findings suggest the existence of issues specific to OSSs with formal methods and highlight the potential benefits of formal methods in reducing errors during development. |
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@inproceedings{id960,
title = {Analyzing the Inpact of Formal Methods on Isuue Trends Using BERTopic},
author = {Soshi Inoue and Eunjong Choi and Kinari Nishiura and Osamu Mizuno},
booktitle = {Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024)},
month = {5},
year = {2024},
note = {Honolulu, HI, USA},
annote = {10.1109/SERA61261.2024.10685613},
}
|