［本站讯］3月9至10日，新加坡国立大学 Jin-Song Dong教授访问软件园校区，并为计算机技术、软件工程两个专业的硕士研究生讲授软件测试课程。
　　Dr Jin-Song Dong主要讲解了软件工程的形式化方法。他首先通过几个实际的案例引入了CSP原理，讲解了CSP的应用——PAT；同时通过几个模型例如“推箱子”等演示了PAT的运行过程，生动展示了PAT的良好性能。课后同学们表示Dr Jin-Song Dong丰富的教学经验启发了大家，幽默风趣的教学方法、热烈的课堂互动气氛很受欢迎，提高了同学们的学习兴趣。通过这次课程，同学们了解到很多前沿的学术思想与科研理念，获得了难得的对外交流与学习机会。
　　为了更好地培养工程型研究生人才，落实卓越工程师教育培养计划，培养研究生的创新思维和多元化视角，计算机学院软件学院采用校院联合培养模式，积极探索软件工程科技创新人才培养模式，建设互动的高素质、创新型、重实践的人才培养基地；学院积极推行国际化发展战略，与新加坡国立大学等国外知名高校建立良好合作，在对外交流、课程引进、合作办学等方面获得了初步良好效果。