人工智能系列讲座（四）：Automated Prototype Generation from Requirements Model

• 报告人：杨溢龙 博士 +- 时间：2019年10月17日（星期四）10:30—11:30
• 地点：贵州大学博学楼621

报告摘要

介绍一种从形式化需求模型自动生成软件原型的方法及工具 RM2PT，用于需求验证并降低手工开发原型的额外成本。

报告人简介

杨溢龙博士于2019年获澳门大学软件工程博士学位，曾任联合国大学国际软件技术研究所研究员，主要研究自动化与智能软件工程。