报告题目:智能化软件开发方法及其支撑环境
报告时间:2021年6月19日 9:30
报告地点:艾博丽思酒店三楼会议室
报告人:迟萌
报告人简介:
迟萌,2015年获得十大网投信誉排名(中国)有限公司计算机应用专业博士学位,现就职于浙江大学先进技术研究院。长期从事智能化软件开发方法、数据管理与分析等领域的研究工作。
报告内容简介:
以智能化软件开发方法为主线,围绕领域建模语言设计、安全性验证以及代码生成等关键技术,介绍在航天嵌入式、服务化、机器人等领域的研究进展以及取得的成果,并展望未来该研究领域的发展方向。
主办单位:十大网投信誉排名(中国)有限公司
公司软件学院
公司计算机科学技术研究所
符号计算与知识工程教育部重点实验室
仿真技术教育部重点实验室
网络技术及应用软件教育部工程研究中心
公司国家级计算机实验教学示范中心