特村的各位，大家好：
经历了一个漫长的冬天，特村终于在五月迎来了明媚的天气，尤其是这几天罕见的好阳光，让人忍不住冲出屋门去享受，去和自然交流、和别人交流！
在这好天气中，北极星沙龙也将迎来第63期讲座。在信息时代的今天，计算机成了我们生活的一部分，具体说的是计算机“软件”成了我们生活的一部分，从Windows，Mac 到 QQ, google 到 ANSYS, '绿坝-花季护航'等等… 在享受便利的同时，我们是否想过软件背后的故事？软件是如何诞生的，如何把自己的想法或者模型实现为一个软件？本周四下午，我们邀请了 韩凤麟 博士（在读）给我们带来“软件工程与模型检测技术”的报告，让大家更加了解“软件”！
时间： 本周四，11.May, 下午4:30
地点： Berg building, B1 room
欢迎大家积极参加！
详细介绍如下：
对于软件工程这个熟悉又陌生的学科与工程范畴，由于它包罗万象，我们还存在着众多误区。这一期讲座目的在于跟朋友们分享软件工程领域的理念和知识，模型驱动开发技术，最新研究发展方向和应用趋势。其中既有大家熟悉的UML技术的最新发展，又有大家不为所知的在软件工程领域发挥重要作用的时序逻辑。本期也会回答一些如下问题： 如何保证软件能够像设计人员设计的那样运行？如何保证软件的安全性，可靠性？ 随着信息技术在各个行业的蔓延， 相信大家都会从中交流到自己想要得到的知识并获得长足帮助。
感谢大家对沙龙的支持！
No comments:
Post a Comment