华东师范大学 软件工程学院 登录后才能查看导师的联系方式,马上登录... 研究领域 软件形式化工程方法,软件需求建模与分析,软件测试等 近期论文 查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) Weikai Miao, Bofeng Li, Yang Gao: The Superiority of Multi-GNSS L5/E5a/B2a ...
2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法” 3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析” 4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究” 学术论文:http://dblp.uni-trier.de/pers/hd/m/Mi...
缪炜恺，男，华东师范大学软件工程学院教师。研究方向 软件形式化工程方法，软件需求建模与分析，软件测试。学术成果 1. 2014年入选上海市青年科技英才扬帆计划。2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法”3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动...