学术报告会： 软件工程学科发展与创新研究

 

时间：本周六(10月15日)2:00~6:00

目的：

了解软件工程学科及其发展，更好地把握职场空间定位；了解形式化方法研究的价值，拓展创新思维能力

 

报告1：（2小时）

“第三脑智”与“自然语言理解”—如何在软件工程领域开展间接形式化教育？

报告人：

 邹晓辉

 《软件》杂志 副主编

中国地质大学 高等教育研究所 研究员

中美双语信息处理课题组 组长

研究专长：

知识本体

双语信息处理—协同智能计算系统

内容：

通过典型实例——协同智能计算系统，及其所依据的原创性的理论和方法，分别从一个系统、两个方面、三个阶段、四个层次，系统地介绍：如何在软件工程领域开展间接形式化教育？

内容包括：

l  间接计算模型和间接形式化方法

l  协同智能计算系统——理论模型及其应用

l  一种基于双语自动转换的间接形式化方法

上述成果为报告人发明，涉及一种间接形式化方法及双文双语并行计算系统，进一步是一种基于双语自动转换的间接形式化方法，属于专用于理论计算机如何转化为实用计算机的高级信息技术课程计算机辅助教学系统和基于知识本体数据仓库的双语界面处理技术领域。这一研究以打破冯诺依曼计算思维的视角，让我们重新审视信息及其计算，为自然语言理解找到新的研究途径。

 

简介：

 

 

 

目前是中美合作项目“双语信息处理研究”最大的无形资产投资人

分别在美国UC Berkeley、哈佛大学、北京大学等著名高校做访问学者进行联合科研工作

多次荣获中国发明奖，获奖内容包括：

l  Intelligent communication composite set

http://ip.com/patapp/CN1093849

l  Automatic translation system for various foreign languages

http://ip.com/patapp/CN1162792

l  Knowledge information data processing method and product thereof

http://ip.com/patapp/CN1274895

 

 

 

报告2：1小时

软件工程学科领域发展概貌及其职场空间定位

报告人：

      张红延

      北京交通大学软件学院副教授

      中国服务工程技术标准组成员

      中国软协专家支撑体系过程与服务领域专家委员

内容：

   为了应对软件危机带来的困境，1968 年北大西洋公约组织的计算机科学家在联邦德国召开国际会议正式提出并使用了“软件工程”这个名词,一门新兴的工程学科就此诞生。四十多年来，软件工程研究与产业实践可以用一句话概括：发展技术研究、重视工程管理、关注业务过程、发展IT服务。

        报告将就软件工程学科概貌及其发展，职场空间的定位展开讨论。

 

报告人简介：

   作为北京交通大学软件学院初创的第一位教师，建立了第一个真正意义上的软件工程专业课程体系，来满足产业与教育双方的需求，是国家精品课与教育部-IBM精品课“软件分析与设计技术”的课程负责人；作为“精英型软件工程师人才培养模式的探索与实践”成果第二完成人，荣获第六届国家教学成果一等奖；2010年获IBM全国优秀教师奖，2011年获教育部国家示范性软件学院“全国十佳专职教师”。作为“双师型”教师，有十多年高校从事教学与研究工作，有十多年企业从事技术、管理与咨询服务的工程实践经历，为国内几十家软件企业提供过程改进与能力评估的咨询服务。先后两次作为访问学者出国进修：

1993~1994, 比利时学习，主修软件工程

2010~2011, 在澳大利亚昆士兰科技大学学习，主修服务工程

主要研究方向：软件服务工程（信息系统学科）

兴趣点：

1)         业务过程管理（含软件过程）

2)         企业架构

3)         需求工程

4)         软件度量

 

背景技术

      形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。从20世纪90年代开始,计算机学科相关专业的形式化方法的教育引起了欧美教育界的高度重视和关注。欧洲的英国、德国、法国、意大利、荷兰、西班牙等国家的高校相继为研究生开设了形式化方法方面的课程,并推广至本科生教育。从20世纪90年代中期开始,美国高校也开展了形式化方法教育研究,并在美国顶尖的35所大学的计算机学科实施了研究生和本科生的教育实践。形式化方法(FM-Formal Method)知识体系中的6个知识领域为:^① 基础(Foundations);^② 形式化规格(Formal specification paradigms);^③正确性验证及演算(Correctness, verification and calculation);^④ 形式化语义(Formal semantics);^⑤ 可执行规格支持(Support for executable specification);^⑥ 其他(Other Topics)。形式化方法教育过程中,相关形式化方法工具的支持是非常重要和必要的。欧洲高等院校在形式化方法研究和教育过程中,开发了许多相关工具。形式化工具有:Actress、Alloy、AtelierB、B-Toolkit(Btlk)、BDDC、CADP、CADiZ、CASL、Coq、CommUnity、CWB、ESCJava、FDR、FuZZ、GHC、Gofer、Hugs、HOL、集成网络分析器(INA)、Isabelle、IVDM、Lotrec、LTSA、NuSMV、Petri网程序设计环境(Petri)、PVS、PicT、RAISEtools、RAT、RML、SPIN、T-Logic、TRIO、UPAAL、VDMT、WHY、ZANS、ZEVES、ZTC等已在相关课程教学中得到使用。形式化方法教育得到欧、美国家高等院校的重视和大力推广不过是十余年的时间,建立完善的知识体系和课程教学内容还需要进一步的努力。从欧洲58所高校的课程开设情况来看,虽然形式化方法教育得到了大范围的实施,但是课程内容、授课教材、辅助工具等还比较散杂,建立形式化方法课程的知识内容规范、编写相关规范指导下的教材、开发相关规范指导下的辅助工具,是亟待解决的问题。形式化方法的工业应用需求和教学过程实践的经验积累,已愈来愈体现出计算机相关专业形式化方法教育的必要性和可行性。国内计算相关专业的形式化方法教育还相当薄弱,尚未在高等院校得到有效推广和实施。计算机相关专业形式化方法课程教学的有效推进还有赖于课程教材、实验环境、支撑工具以及应用环境等方面的突破。[教育部高等学校计算机科学与技术教学指导委员会. 高等学校计算机科学与技术专业发展战略研究报告暨专业规范(试行)[M].北京:高等教育出版社,2006.]

 

http://blog.sciencenet.cn/home.php?mod=space&uid=94143&do=blog&id=496708