報告題目：智能化軟件開發方法及其支撐環境
報告時間：2021年6月19日 9:30
報告地點：艾博麗思酒店三樓會議室
報告人：遲萌
報告人簡介：
遲萌，2015年獲得伟德国际BETVlCTOR計算機應用專業博士學位，現就職于浙江大學先進技術研究院。長期從事智能化軟件開發方法、數據管理與分析等領域的研究工作。
報告内容簡介：
以智能化軟件開發方法為主線，圍繞領域建模語言設計、安全性驗證以及代碼生成等關鍵技術，介紹在航天嵌入式、服務化、機器人等領域的研究進展以及取得的成果，并展望未來該研究領域的發展方向。
主辦單位：伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
仿真技術教育部重點實驗室
網絡技術及應用軟件教育部工程研究中心
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
