王小齐(1998-), 男, 硕士生, 主要研究领域为嵌入式软件需求分析, 模型驱动开发. ;陈小红(1982-), 女, 博士, 副教授, CCF专业会员, 主要研究领域为需求工程, 基于知识的软件工程和形式化方法. ;金芝(1962-), 女, 博士, 教授, CCF会士, 主要研究领域为软件需求工程, 知识工程. ;顾斌(1968-), 男, 博士, 研究员, CCF高级会员, 主要研究领域为可信软件, 嵌入式系统, 计算机控制. ;綦艳霞(1973-), 女, 博士, 研究员, CCF专业会员, 主要研究领域为可信软件, 嵌入式系统, 计算机控制.
金芝, E-mail: zhijin@pku.edu.cn;綦艳霞, E-mail: qiyanxia369@sina.com
国家自然科学基金(62192731, 62272166, 62192730)
王小齐,陈小红,金芝,顾斌,綦艳霞.基于投影的嵌入式系统需求分析方法.软件学报,2024,35(12):5397-5418
复制