- 0
- 0
- 约8.85千字
- 约 38页
- 2026-03-25 发布于浙江
- 举报
大语言模型赋能的证券领域业务规则
规约与测试用例自动生成方法
陈小红华东师范大学
演讲嘉宾
陈小红
软件需求工程践行者
华东师范大学软件工程学院,副教授,硕士生导师,主要研究方向为需求
工程、形式化方法以及IoT最终用户编程。主持并参与了多项国家自然科
学基金项目、重点研发、863、973项目以及省部级项目,主要工作包括
需求建模与分析、需求形式化验证、基于投影的需求问题自动分解、基于
因果关系的约简与基于用户意图的IoT最终用户编程、智能系统的需求确
认等,在国内外知名期刊会议RE、TITS、TCAD、SCP、软件学报等发表
您可能关注的文档
最近下载
- 2023年报检员资格考试题库附参考答案(培优b卷).docx
- 2023年心理咨询师完整题库【word】.docx
- 江西吉安庐陵赛塘派戴姓部分世系图.docx VIP
- 2025山东威海市市直教育系统招聘教师87人考前自测高频考点模拟试题带答案详解.docx
- 新疆2022系列标准设计图集新22G02 钢筋混凝土结构构造.docx VIP
- 2023年税务师继续教育完整题库及答案(夺冠).docx
- 职业性放射性疾病诊断汇总.pptx VIP
- 2025年版《义务教育新课程标准》语文考试题(含参考答案).docx VIP
- 2025年事业单位招聘考试(综合应用能力·C类)历年参考题库含答案详解.docx VIP
- 统编版语文五年级上册《9.猎人海力布》说课稿.doc VIP
原创力文档

文档评论(0)