Page 297 - 《软件学报》2025年第10期
P. 297
4694 软件学报 2025 年第 36 卷第 10 期
extraction on domain-specific business documents. arXiv:2002.01861, 2020.
[48] Kardasis P, Loucopoulos P. Expressing and organising business rules. Information and Software technology, 2004, 46(11): 701–718. [doi:
10.1016/j.infsof.2003.12.003]
[49] Bhattacharyya A, Chittimalli PK, Naik R. Relation identification in business rules for domain-specific documents. In: Proc. of the 11th
Innovations in Software Engineering Conf. Hyderabad: ACM, 2018. 14. [doi: 10.1145/3172871.3172884]
[50] Schlutter A, Vogelsang A. Knowledge extraction from natural language requirements into a semantic relation graph. In: Proc. of the 42nd
IEEE/ACM Int’l Conf. on Software Engineering Workshops. Seoul: ACM, 2020. 373–379. [doi: 10.1145/3387940.3392162]
[51] Mahgoub H, Rösner D, Ismail N, Torkey F. A text mining technique using association rules extraction. Int’l Journal of Computer and
Information Engineering, 2008, 2(6): 2044–2051. [doi: 10.5281/zenodo.1058536]
附中文参考文献:
[1] 深圳证券交易所. 深圳证券交易所债券交易规则. 2022. https://docs.static.szse.cn/www/lawrules/rule/bond/bonds/trade/W020220127
631859244722.pdf
[2] 上海证券交易所. 上海证券交易所交易规则 (2023 年修订). 2023. http://www.sse.com.cn/lawandrules/sselawsrules/trade/universal/c/
10118241/files/e773c99a2fef4fbc930bc332492156d8.docx
[6] 陈小红, 尹斌, 金芝. 基于问题框架方法的需求建模: 一个本体制导的方法. 软件学报, 2011, 22(2): 177–194. http://www.jos.org.cn/
1000-9825/3755.htm [doi: 10.3724/SP.J.1001.2011.03755]
[22] 深圳证券交易所. 深圳证券交易所创业板交易特别规定. 2023. https://www.szse.cn/lawrules/rule/repeal/rules/P020231230545310
237980.pdf
[23] 深圳证券交易所. 深圳证券交易所交易规则 (2023 年修订). 2023. https://docs.static.szse.cn/www/lawrules/rule/stock/trade/W020230
217564423808793.pdf
[24] 深圳证券交易所. 深圳证券交易所证券投资基金交易和申购赎回实施细则 (2022 年修订). 2022. https://docs.static.szse.cn/www/
lawrules/rule/fund/trade/W020220610536157903323.pdf
[25] 上海证券交易所. 上海证券交易所债券交易规则. 2022. https://bond.sse.com.cn/lawrule/sserules/trading/a/20220527/377bbbcd6fc1f3f5a7
afabcb671335da.docx
李靓果(1999－), 女, 硕士生, 主要研究领域为基 陈良育(1980－), 男, 博士, 副教授, CCF 专业会
于知识的需求形式化与分析验证. 员, 主要研究领域为智能软件工程, 智慧教育.
薛志一(2000－), 男, 博士生, 主要研究领域为神 李萍萍(1991－), 女, 硕士, 主要研究领域为证券
经网络的鲁棒训练和验证, 基于大语言模型的测 领域核心交易系统的功能测试及用户验收.
试用例自动生成.
陈小红(1982－), 女, 博士, 副教授, 博士生导师, 姜婷婷(1982－), 女, 学士, 主要研究领域为证券
CCF 专业会员, 主要研究领域为需求工程, 基于 领域核心交易系统的上线质量保障.
知识的软件工程, 形式化方法.
张民(1982－), 男, 博士, 教授, 博士生导师, CCF
高级会员, 主要研究领域为形式化方法, 智能系
统建模与验证.
