1

在西北第二民族学院 同教师座谈

郝克刚

2007.6

西北大学 信息学院 计算机科学系

漫谈学科建设

在西北第二民族学院 同教师座谈 2

提纲

一． 学科建设的方向二． 学科梯队建设三． 学风的养成

跟踪国际先进技术； 学原著，念真经； 重视理论的指导作用； 重实践，忌空谈；

在西北第二民族学院 同教师座谈 3

一，学科建设的方向

根据国内外学科发展的趋势以及自身的条件来确定学科建设的方向。

一段历史故事。 -- 杨振宁教授 1972 年访问我校时提供的信息对我们系学科建设的方向的重大影响。

当时所确定的软件方向，和后来形成的软件工程、人工智能、网络软件和软件理论等几个方向的建设，使我校成为我国西部地区第一个软件学科博士学位授权点（ 1995 年）。

在西北第二民族学院 同教师座谈 4

计算（ Computing）学科家族

包括有相互交叉的五个子学科 : 计算机工程 Computer Engineering (CE), 计算机科学 Computer Science (CS), 信息系统 Information Systems (IS), 信息技术 Information Technology (IT), 软件工程 Software Engineering (SE) 。

在西北第二民族学院 同教师座谈 5

Computing Curricula 2005

The Overview Report

A cooperative Project ofThe Association for Computing Machinery (ACM)The Association for information Systems (AIS)The Computer Society (IEEE-CS)

30 September 2005

在西北第二民族学院 同教师座谈 6

计算机工程 Computer Engineering (CE),

更 多 应 用 化更 多 理 论 化

组织与系统问题

应用技术

软件开发

系统基础设施

计算机硬件与体系结构

开 发

计

算

的

问

题

空

间

C E

在西北第二民族学院 同教师座谈 7

计算机科学 Computer Science (CS),

组织 与 系统问题

应 用 技 术

软 件 开 发

系 统 基 础 设 施

计算机硬件与体系结构

开 发

更 多 理 论 化 更 多 应 用 化

C S

在西北第二民族学院 同教师座谈 8

信息系统 Information Systems (IS),

90

组织 与 系统问题

应 用 技 术

软 件 开 发

系 统 基 础 设 施

计算机硬件与体系结构

开 发

更 多 理 论 化 更 多 应 用 化

I S

在西北第二民族学院 同教师座谈 9

信息技术 Information Technology (IT),

组织 与 系统问题

应 用 技 术

软 件 开 发

系 统 基 础 设 施

计算机硬件与体系结构

开 发

更 多 理 论 化 更 多 应 用 化

I T

在西北第二民族学院 同教师座谈 10

软件工程 Software Engineering (SE) 。

组织 与 系统问题

应 用 技 术

软 件 开 发

系 统 基 础 设 施

计算机硬件与体系结构

开 发

更 多 理 论 化 更 多 应 用 化

S E

在西北第二民族学院 同教师座谈 11

Software Engineering 2004 知识体

(1)CMP(Computing Essentials)(172)

(2) FND(Mathematical and Engineering Fundamentals)(89) (3) PRF(Professional Practice)(35) (4) MAA(Software Modeling and Analysis)(53) (5) DES(Software Design)(45) (6) VAV(Software Verification and Validation)(42) (7) EVL(Software Evolution)(10) (8) PRO(Software Process)(13) (9) QUA(Software Quality)(16) (10) MGT(Software Management)(19) (11) SAS(System and Application Specialties)

在西北第二民族学院 同教师座谈 12

二，学科梯队建设

每个教师都要制定自己的学科方向。 院系的要求同自己的兴趣相结合。

提倡合作、协作和团队精神。 承担纵向和横向课题。

讨论班是个很好的方式。 围绕一本书或一组文章，轮流报告共同讨论。

学科梯队建设非一日之功，长期坚持必有成效

在西北第二民族学院 同教师座谈 13

三，学风的养成 1 ：跟踪国际先进技术；

要承认在计算学科方面我们同发达国家还是有相当大差距的。

科学技术是在实践的基础上发展起来的，例如国内软件企业，相对规模偏小水平偏低，从而软件工程的技术和理论大多起源与国外，所以跟踪学习“拿来主义”是当前最好的办法。

注意结合实际，结合国情，应用中创新，不要盲目照搬。

在西北第二民族学院 同教师座谈 14

《新世纪软件技术大讲坛》

编者的话 软件是新世纪信息时代社会的最重要的基础设施，随着 Internet 技术的飞速发展，目前软件技术正处在重大变更时期。为了使软件专业的学生，特别是博士生、硕士生，能了解目前软件技术发展的现状和及时跟踪国际软件先进技术，特组织编写了这本“新世纪软件技术大讲坛”。

“ I T 之源” 网站： http://www.iturls.com/Expert/haokg-book.asp 西北大学网站，郝克刚个人主页下： http://mainpage.nwu.edu.cn/hkg/home/

在西北第二民族学院 同教师座谈 15

《新世纪软件技术大讲坛》 ( 共十七讲 )

第一讲：新世纪软件技术面临的挑战（郝克刚）第二讲：现有构件技术评述和理想构件技术初探（王斌君）

第三讲： CORBA分布式对象计算综述（华庆一）第四讲： Java 、 EJB 和 J2EE 技术综述（董云卫）第五讲： 关于 COM+ 组件边界和同步的研究与分析（鱼 滨）

第六讲： DCOM 的分布式体系结构及实现机制分析（鱼 滨）

第七讲：模式 (Pattern) 与框架 (Framework) 技术综述（董云卫）

第八讲：可扩展标注语言 XML综述（杨红丽）第九讲：统一建模语言 UML 和 Rational 统一过程 RUP（龚晓庆）

在西北第二民族学院 同教师座谈 16

《新世纪软件技术大讲坛》 ( 共十七讲 )

第十讲： Web服务技术标准与规范（龚晓庆）第十一讲：软件复用技术综述（刘建宾）第十二讲：软件重构技术综述（刘建宾）第十三讲： PSP 、 TSP 及 CMM综述（侯 红）第十四讲：形式化方法 - 程序的正确性验证（王斌君）第十五讲： RAISE 规范语言及其开发方法（杨红丽）第十六讲： B抽象机符号语言及其形式化开发方法（刘

建宾）第十七讲：基于属性文法的图形用户界面规约方法（华庆一）

在西北第二民族学院 同教师座谈 17

学风的养成 2 ：学原著，念真经；

学好外文，力争读原著，学到真经，要有玄奘西天取经的精神。

本科生读原文教材。研究生一律要求读原文论文。

充分利用互联网宽带的条件，下载原始的报告和标准。

很多单位，机构，公司都有专门的网站提供服务。如 W3C, OASIS ， Microsof ， IBM ， SUN ， Oracle ， BEA等。

在西北第二民族学院 同教师座谈 18

学风的养成 3 ：重视理论的指导作用；

计算机科学理论是计算技术发展的基础。 纵观计算技术发展的历史，技术的突破无不依赖于

理论的支持。 计算机的诞生和图灵机器 高级语言、编译系统和形式语言自动机理论。 数据库和关系代数理论。

高可信度软件和形式语义及时态逻辑理论。 并行系统和 Petri 网理论。 移动系统、动态耦合系统和 π演算理论。

在西北第二民族学院 同教师座谈 19

时态逻辑 Temporal Logic

命题逻辑命题变量： p,q,r,……命题连接词： , ,, ,

谓词演算谓词： P,Q,R,…… 个体变量： x,y,z,……全称、存在量词： , 。

时态逻辑演算下一时刻算子o ，必然算子，终于算子◊等。

在西北第二民族学院 同教师座谈 20

Petri Net 佩特里网

Petri 网是德国学者 Carl Adam Petri 教授于 1962 年在其博士论文“自动机通信”中提出的一种网络图理论。 70 年代以后， Petri 网理论引起人们的重视，得到迅速发展并应用于解决计算机科学领域的问题。

Petri 网既有严格的数学定义，又有直观的图形表示，特别适合描述离散事件系统的并发特性、控制流和异步行为。

在西北第二民族学院 同教师座谈 21

罗宾 . 米尔纳 的 π 演算

The π-calculus是 Robin Milner 在下述演算系统的基础上建立的。 Church’s λ-calculus

• equivalent to Turing Machines

his earlier CCS (calculus for communicating systems)

Anthony Hoare process algebra CSP (communicating sequential processes).

在西北第二民族学院 同教师座谈 22

学风的养成 4 ：重实践，忌空谈；

计算科学基本上仍属于实践性科学。计算科学的技术和理论的发展与实践有非常紧密的关系。

从事计算科学的人员必须练就好一套熟练的动手能力，必须会亲自动手，否则你就不可能对有关技术和理论有深刻的理解。

所以我们要求学生入学时要考编程能力，毕业时要有成果演示。老师也要带头。

在西北第二民族学院 同教师座谈 23

在我的网页上的一段话

编程序是一种爱好。它可以使你心平气和，思维有序。当你编程遇到困难时，需要有坚韧不拔的毅力。当你成功时，你会感到一种无与伦比的高兴。“编程”苦涩难言，但却其乐无穷！不仅年轻人可以编，我这老头子也可以编。几年下来，我在学习 Java 和 Script 的过程中也编了一些。现汇集几个小软件如下，与大家共享。请点击下面图标。

在西北第二民族学院 同教师座谈 24

四，结束语

感谢邀请我来贵校访问，对我来说是一次很好的学习机会。

领导和教师如此重视学科建设，只要长期坚持，一定会取得成功。

希望和祝愿贵校在宁夏地区能积极跟踪国际先进水平，结合实际，结合国情，发扬创新精神，在培养软件人才、研究发展和应用软件先进技术以及创建软件产业等方面为作出贡献。

在西北第二民族学院 同教师座谈 25

西北大学 软件工程研究所 所长

计算机科学系软件专业 教授、博导

hkg@nwu.edu.cnhttp://mainpage.nwu.edu.cn/hkg/home/