缪炜恺
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话：
传真：
电子邮箱： wkmiao@sei.ecnu.edu.cn
办公地址： 中山北路校区数学馆东219
通讯地址：

教育经历

工作经历

个人简介

社会兼职


研究方向
软件形式化工程方法，软件需求建模与分析，软件测试等


开授课程


科研项目


学术成果
科研项目与人才计划：
1. 2014年入选上海市青年科技英才扬帆计划。
2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法”
3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析”
4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究”
学术论文：http://dblp.uni-trier.de/pers/hd/m/Miao:Weikai


荣誉及奖励


招生信息














11 访问


相关教师