华侨大学李海波--我的主页-- Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2025, Volume 2025, Article ID 6714956, https://doi.org/10.1049/sfw2/6714956. (CCF B)（SCI）

李海波

教授硕士生导师

性别：男

学历：博士研究生

学位：工学博士学位

入职时间：2009-07-08

电子邮箱：

在职信息：在岗

学科：软件工程

论文成果

Haibo Li, Lixiao Zheng, Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework. IET Software, 2025, Volume 2025, Article ID 6714956, https://doi.org/10.1049/sfw2/6714956. (CCF B)（SCI）

是否译文：否

上一条： Haibo Li, Zhenbo Zhao, etc. A Change Point-Aware Multi-Granularity Event Detection Method for Time Series Forecasting, Engineering Applications of Artificial Intelligence. 2026, 174: 114471.https://doi.org/10.1016/j.engappai.2026.114471

下一条：李海波,蔡其航,郑黎晓,等.大语言模型赋能的用户参与式产品功能拓扑生成方法[J].计算机集成制造系统,2026,32(01):36-54.DOI:10.13196/j.cims.2024.Z23.