华侨大学李海波--我的主页-- Li, H., Zheng, L., Cai, Q. (2026). A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. In: André, É., Wang, J., Zhan, N. (eds) Formal Methods and Software Engineering. ICFEM 2025. Lecture Notes in Computer Science, vol 16229. Springer, Singapore, pp 189–208. https://doi.org/10.1007/978-981-95-4213-0

李海波

教授硕士生导师

性别：男

学历：博士研究生

学位：工学博士学位

入职时间：2009-07-08

电子邮箱：

在职信息：在岗

学科：

软件工程

手机版

访问量：

最后更新时间：..

同专业硕导

我的主页 >> 科学研究 >> 论文成果

Li, H., Zheng, L., Cai, Q. (2026). A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. In: André, É., Wang, J., Zhan, N. (eds) Formal Methods and Software Engineering. ICFEM 2025. Lecture Notes in Computer Science, vol 16229. Springer, Singapore, pp 189–208. https://doi.org/10.1007/978-981-95-4213-0_11 （CCF C）

点击次数：

是否译文：否

上一条：李海波，赵振博，郭春丽，蔡其航，郑黎晓，等. 基于MODWT-变点矫正的多粒度事件时序预测方法, 计算机集成制造系统. 2026，6

下一条：Haibo Li, etc. A Hybrid Teaching Model for the Software Requirement Analysis and Modeling Course, ICMEIM 2022, pp. 548–552, 2022.