Page 74 - 《软件学报》2025年第12期

李春奕 等: 基于时序逻辑的需求文本隐含语义解析与推理 5455

[37] Lin ZH, Feng MW, dos Santos CN, Yu M, Xiang B, Zhou BW, Bengio Y. A structured self-attentive sentence embedding.
arXiv:1703.03130, 2017.
[38] Yang ZC, Yang DY, Dyer C, He XD, Smola A, Hovy E. Hierarchical attention networks for document classification. In: Proc. of the
2016 Conf. of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. San Diego:
ACL, 2016. 1480–1489. [doi: 10.18653/V1/N16-1174]
[39] Achiam J, Adler S, Agarwal S, et al. GPT-4 technical report. arXiv:2303.08774, 2023.
[40] Wang YQ, Huang ML, Zhu XY, Zhao L. Attention-based LSTM for aspect-level sentiment classification. In: Proc. of the 2016 Conf. on
Empirical Methods in Natural Language Processing. Austin: ACL, 2016. 606–615. [doi: 10.18653/V1/D16-1058]
[41] Vo DT, Zhang Y. Target-dependent Twitter sentiment classification with rich automatic features. In: Proc. of the 24th Int’l Conf. on
Artificial Intelligence. Buenos Aires: AAAI Press, 2015. 1347–1353.
[42] Chen XH, Liu SB, Jin Z. Survey on requirements description of embedded system. Ruan Jian Xue Bao/Journal of Software, 2025, 36(1):
27–46 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/7157.htm [doi: 10.13328/j.cnki.jos.007157]

附中文参考文献:
[7] 王戟, 詹乃军, 冯新宇, 刘志明. 形式化方法概貌. 软件学报, 2019, 30(1): 33–61. http://www.jos.org.cn/1000-9825/5652.htm [doi:
10.13328/j.cnki.jos.005652]
[22] 武强. 自然语言需求的时序逻辑语义分析研究 [硕士学位论文]. 西安: 西安电子科技大学, 2024.
[42] 陈小红, 刘少彬, 金芝. 嵌入式系统的需求描述综述. 软件学报, 2025, 36(1): 27–46. http://www.jos.org.cn/1000-9825/7157.htm [doi:
10.13328/j.cnki.jos.007157]

李春奕(1996－), 女, 博士生, 主要研究领域为形 王小兵(1979－), 男, 博士, 教授, 博士生导师,
式化方法, 自然语言处理. CCF 高级会员, 主要研究领域为高可信软件, 形
式化验证.

马智(1994－), 男, 博士, 讲师, CCF 专业会员, 主 赵亮(1984－), 男, 博士, 副教授, CCF 专业会员,

要研究领域为操作系统, 形式化验证, 嵌入式 主要研究领域为神经网络建模与验证, 形式化验

软件. 证, 时序逻辑程序设计.

武强(1998－), 男, 硕士生, 主要研究领域为软件

工程, 形式化方法.