南京大学-陈道蓄-软件工程专业国家精品课程建设共25页文档
教育部全国高校教师网络培训中心
齐治昌，国防科技大学计算机学院教授，博士生导师，1965年毕业于中国科技大学应用数学系。主要研究方向为软件工程。现任全国高等教育研究会理事，软件工程教指委副主任，“计算机科学与技术专业课程”国家级教学团队带头人；曾任中国高等教育学会理事，教育部高等学校计算机科学教学指导委员会委员，高等学校计算机教育研究会副理事长。主持和参与多项国家863、国家自然科学基金、国防预研等项目。获国家教学优秀成果一等奖1项，部委级科技进步一等奖2项，二等奖4项。在国内外期刊与学术会议上发表论文90余篇，主持和撰写了2本专著与教材。其主持建设的“软件工程”课程于2006年被评为国家级精品课程，其领导的计算机科学与技术专业教学团队被评为国家级教学团队。
王志英教授，国防科技大学计算机学院副院长，国家教育部计算机科学与技术教学指导分委会副主任。
陈道蓄教授，博士生导师。1947年7月生，1982年毕业于南京大学。1985-86年和1995-96年先后在美国普度大学和香港城市大学做访问学者。曾任南京大学计算机科学与技术系主任，现任江苏省计算机学会理事长、中国计算机学会理事和开放系统专业委员会主任。
14：00-14：45
齐治昌教授：
软件工程
蒋宗礼教授：
专业能力
14：50-15：15
陈道蓄教授：
信息技术
各地方班级讨论
15：30-16：15
王志英教授：
信息系统
16：20-17：00
各位主讲人：
讨论交流
南京大学操作系统原理与实践国家精品课程建设
南京大学操作系统原理与实践国家精品课程建设作者：叶保留费翔林骆斌葛季栋来源：《计算机教育》2014年第07期摘要：以操作系统原理与实践国家精品课程建设为背景，结合南京大学人才培养目标定位，系统介绍该课程建设的基本思路、知识体系构架，详细描述课程资源建设，总结教学团队在教学方式与实施方面的举措。
关键词：操作系统原理；操作系统实验；国家精品课程建设1 课程定位与建设目标操作系统是计算机系统的核心和灵魂，是最基础、最复杂的系统软件。
课程知识内容具有以下特点：一方面理论性强、概念抽象难以理解；另一方面设计技巧高超、实现机制精妙、系统代码量大，难以掌握。
此外，随着计算机网络及分布并行技术的不断发展，操作系统设计与实现不断更新，并与多个信息技术方向交叉。
从学生能力培养角度来看，操作系统教学应注重两种融合：一是突出知识内涵，深入剖析基本理论与核心技术，使学生消化吸收操作系统设计与实现的精髓，实现拓宽基础与强化实践的融合；二是内容涵盖最新技术发展，反映技术演变趋势，实现基本原理与技术演变的融合。
南京大学计算机学科包含计算机科学与技术和软件工程两个专业，培养目标分为科学型和应用型。
其中科学型指面向本学科或交叉学科的学术型人才，应用型指面向经济、产业、应用领域建设需要的本学科或交叉学科应用型人才。
操作系统原理与实践课程…是上述两个专业的必修课程，课程建设目标包括以下方面。
（1）在操作系统基本原理方面，掌握操作系统的基本概念、原理、方法，理解操作系统在计算机系统（硬件、系统软件和应用软件）中的定位和关键作用，为学生确立以操作系统为中心的计算机系统系统的级认识和整体性把握。
（2）在操作系统核心技术方面，掌握操作系统的体系结构、内核设计和实现机制，在宏观上把握操作系统体系结构设计和实现的方法与关键技术；在微观上掌握操作系统各部件实现的具体机制；能够立足于工程师观点，对操作系统（乃至大型软件系统）的设计做出折衷与决策。
（3）在操作系统实践应用方面，注重对学生操作系统软件实现和系统级程序设计能力的培养，促使学生运用所学操作系统知识分析和解决问题，既拥有基本的操作系统源码分析和重构修改能力，又能够有效利用API进行系统级程序设计和并发程序设计。
南京大学陈道蓄.doc
课程名称：计算思维导论Introduction to Computational Thinking主讲教师：陈道蓄职称：教授研究专长：计算机软件所在院系：计算机科学与技术系联系电邮：cdx@一、教师简介：领衔教师：陈道蓄教授，博士生导师。
曾任南京大学计算机系主任兼软件学院院长。
主讲离散数学、计算机算法等课程多年，曾两次获得国家级优秀教学成果奖。
研究领域主要为分布式计算、软件工程，主持与承担多项国家973、863、自然科学基金项目。
曾4次获得省部级科技进步奖励。
陈道蓄教授是中国计算机学会理事，开放系统专业委员会主任，教育工作委员会主任；并担任教育部计算机教学指导委员会委员、计算机科学与技术专业教学指导分委员会副主任。
团队成员：陶先平教授，博士。
南京大学计算机科学与技术系教授、博士生导师、南京大学计算机科学与技术系副主任。
兼任中国计算机学会系统软件专业委员会秘书长、中国计算机学会教育工委副主任。
主要研究方向为软件Agent技术、软件中间件技术、网构软件方法学、普适计算技术等。
工作期间，主持或参与了国家自然科学基金重点及面上项目、973项目、863项目（含目标导向类和探索导向类项目）、国家八五、九五、十五攻关项目、国家发改委高新技术产业化项目、江苏省自然科学基金重点及一般项目、江苏省高技术等项目等二十余项，均圆满完成了相关任务并获得好评。
在国内外重要刊物及一流国际会议论文集上发表论文60余篇，相关成果被国内外研究者多次引用。
2004年获得教育部提名国家科技奖自然科学一等奖（第二完成人），2006年获国家科技进步二等奖（第三完成人）。
2010年获教育部技术发明奖一等奖（第三完成人）。
获得国家发明专利一项，申请国家发明专利6项，软件著作权4项。
钱柱中博士，副教授，2007年6月在南京大学计算机科学与技术系获得博士学位，并于同年7月留校任教，现为南京大学软件新技术国家重点实验室成员。
2008年7月至9月及2009年2月至3月于日本会津大学计算机科学与工程学院作为访问研究员参加合作研究；2009年8月至10月于加拿大滑铁卢大学计算机科学学院进行访问研究。
《软件工程》南京大学计算机专业课程教材
Basic Concepts
Software Characteristics
• Software is developed or engineering, it is not manufactured in the classical sense. 软件是由开发或工程化而形成的，而不是传统意义上由制造 产生的。 • Software doesn’t “wear out”. 软件不会“磨损”。 • Although the industry is moving toward component-based assembly, most software continues to be custom build. 大多数软件是自定的，而不是通过已有的构件组装起来的。
System Engineering
What is it?
Before software can be engineered, the “system” in which it resides must be understood. To accomplish this,
Software Engineering 软 件 工 程
李 宣 东 南京大学计算机科学与技术系
/people/lixuandong/softE.html
Contents
• Conventional Methods for Software Engineering 传统软件工程方法 • Object-Oriented Software Engineering 面向对象软件工程 • Software Process, Management, and Quality 软件过程、管理与质量
南京大学软件工程专业本科教程——附录B专业基础核心课程描述1
a
E
1
SEF-VV.tst.0
测试
1
SEF-VV.tst.1
单元测试
a
E
1
SEF-VV.par.0
问题分析和报告
1
SEF-VV.par.2
调试/错误隔离技术
a
E
1
STP-PL.c.0
C 语言
10
STP-PL.c.1
词法与关键字
a
E
2
STP-PL.c.2
表达式和语句
a
E
1
STP-PL.c.3
声明、类型
1
a
E
1
5 教学补充事项
5.1 对前驱课程的教学需求
无
5.2 本课程的教学考虑
为了给大一新生建立起计算系统的概念，本课程采取：1）自底向上的教学模式，逐层构建计 算系统；2）围绕一个假想的简单的计算机进行从比特到 C 语言的全面、系统的介绍。
5.3 对后续课程的教学建议
《计算与软件工程 II》课程对结构化分析、设计的介绍从程序级别提升到建模级别；本课程 只介绍《计算机组成原理》、《数据结构与算法》、《操作系统》等课程的基本概念，更深入的知识 将在这些课程中进行介绍。
描述 数字逻辑和数字系统 计算机发展历史回顾 计算机的基本组成，硬件结构，软件的分类，计 算机语言及其编译 逻辑表达式 计算机的工作过程 计算机系统结构的概念 数据的机器级表示 数值表示和数制 定点数和浮点数系统 有符号数的表示方法和基本运算方法 非数值数据的表示 汇编级机器组织 指令格式 数据的存储方式与寻址方式 指令集及其分类（数据操作、控制、输入/输出） 子程序调用和返回机制 汇编语言和机器语言编程基础 存储系统组织和结构 主存储器的组织和操作 接口和通信 输入/输出基本原理 程序控制 I/O，中断驱动 I/O 程序设计基本结构 变量、类型、表达式和语句 高级语言的基本语法和语义 输入和输出基础 顺序、条件和循环控制结构 函数定义、函数调用和参数传递 程序结构分解基础 基本数据结构 记录
南京大学软件工程专业本科生课程体系规划与核心
软件 工具
软件 产品 STP
基本素质 Leabharlann AS图一 南京大学软件工程专业的知识体系
与专业相关的 5 个子类的知识领域简单列举如下： 1）CSE 定义了从事软件工作所应具备的软件专业基础知识，包括离散数 学基础 CSE.DS，程序设计与算法基础 CSE.PF，计算机硬件基础 CSE.CH，系 统软件基础 CSE.SS，数据库应用基础 CSE.DB，网络通信基础 CSE.NC 和软 件构造技术 CSE.CT 等知识领域。 2）SEM 定义了软件工程与软件管理知识，包括软件模型与分析 SEM.MA， 软件设计 SEM.DE，软件检验和有效性验证 SEM.VV，软件演化 SEM.EV，软 件过程 SEM.PR，软件质量 SEM.QA 和软件管理 SEM.MG 等知识领域。 3）MEP 定义从事软件工作所应具备的数学、工程和职业知识，包括软件 的数学基础 MEP.MF，软件的工程基础 MEP.EF，软件行业的职业素质 MEP.PP， 软件业的外国语能力 MEP.FL 等知识领域。
如图一所示，该知识体系定义了基本素质 BAS，计算机软件基础 CSE， 软件工程与软件管理 SEM，数学、工程和职业基础 MEP，软件系统与应用 SSA，
软件工具与产品 STP 等 6 个知识体系子类，并在各子类之下细分为知识 领域、知识单元和知识点三级。
数学 工程 职业 基础 MEP
软件系统与应用 SSA：网络|嵌入式|信息管理|图形|… 软件工程与软件管理 SEM 计算机软件基础 CSE
4）SSA 定义从事某一方面软件工作应具备的专业或领域应用知识，包括 网络工程与网络应用 （计算机网络进阶 AN，分布式计算 DC，多媒 体技术 MM），嵌入式与实时系统 SSA.EM，图形软件系统 SSA.GH，信息系 统 SSA.IS（组织和管理 GM，系统开发理论 SD，智能信息处理 IP，ERP 系统 EP，电子商务系统 EC）等领域。毕业生应该深入理解其中至少一个软件应用 领域。
南京大学软件工程学科的知识体系资料精
南京大学软件工程学科教程——附件一
软件工程学科的知识体系
（南京大学软件学院 2006 年 3 月）
1 引言
1.1 目标
本文论述复合型软件实用人才所应具备的知识体系，以作为南京大学软件学院学科与专业规 划、人才培养方案制定、课程设置、教学计划安排、课程教学内容确定的基本依据。
CSE.DS1. 函数，关系和集合 z 函数 (满射，到内的映射，逆函数，复合函数) z 关系 (自反，对称，传递，等价关系) z 集合 (维恩图, 补集, 笛卡儿集, 幂集) z 鸽笼原理 z 基数性和可数性
CSE.DS2. 逻辑基础 z 命题逻辑 z 逻辑连接词 z 真值表 z 范式（合取式，析取式） z 永真性 z 谓词逻辑 z 全称量词和存在量词 z 假言推理和否定性推理 z 谓词逻辑的局限性
1
南京大学软件工程学科的知识体系
人才还应具备以下的一般特征： z 对软件系统、计算机系统、信息系统乃至与计算机软件相关的社会系统具有系统级的认
识能力； z 有扎实的理论基础，能够全面通晓计算机软件和软件工程的基础知识，较深入理解一个
以上的计算机软件应用领域； z 有较强的动手能力，能够具有一定的系统分析和软件设计的能力，熟练使用两种以上主
流的操作系统、数据库管理系统和程序设计语言，做到理论与实践相结合； z 能够合理认知软件科学与技术中的重复概念； z 有实际项目的工作经验； z 具备自学习的能力以适应软件技术的快速变化，能够通过自学的方式在较短时间内掌握
系统软件的使用； z 具备综合应用各类方法、技术和工具，运用工程方法解决复杂性软件问题的能力； z 具备语言、交流、写作等基本的软件从业能力，认同现行的法律、道德和伦理。
第一门程序设计课可以做些什么样的作业？
计算机教育Computer Education 第 5 期2021 年 5 月 10 日文章编号：1672-5913(2021)05-0001-03中图分类号：师道之声第一门程序设计课可以做些什么样的作业？陈道蓄（南京大学 计算机系，江苏 南京 210093）第一门程序设计课应该让学生做“足够多”有趣的事。
那么什么样的作业才能既有趣味性，又不要求学生有很多的编程与数据结构基础呢？如果程序设计课的作业主要考虑让学生学会某种语言成分，那么编程的目的就只为了验证是否“会用”指定结构，而学生实现时往往只运行很简单的输入实例，其结果是预先知道的，便失去了趣味性。
能吸引学生的题应该以题目本身求解为目标，如果计算机能帮我们解题，我们就会渴望去“编程”！下面的几类问题，是笔者认为能够引发学生兴趣导向的作业题。
当然，在此之上，读者可以发掘更多有趣且有效的问题。
第一类：用简单命题演算建模的推理问题（只需要离散数学课中涉及的基本知识）[1-2] 。
示例：ABC 3人分别获得比赛的前3名，没有并列。
我们已经知道以下事实：①如果C 第二，B 就是第三；②如果C 第三，B 就是第一；③如果A 一定是第三；④如果A 第一，C 一定是第三。
可以定义9个命题变量：x i 表示“x x ∈{a , b , c }, i ∈{1, 2, 3}。
上面的条件可表示为（﹁a 2∨b 3)∧(﹁c 3∨b 1)∧(b 2∨c 3)∧(﹁元的所有可能赋值有29=512种，计算机用穷举的方法检查每个赋值是否为True 是很容易的事。
假设学生实现了程序，会发现结果有非常多的解，与原来的想象可能差别很大。
原因很简单，人考虑问题时一些常识性的背景未必需要明说（这里人与名次是一一对应的），但对机器就不行了。
所以公式得补全了，即并入下面的子句：(a 1∨b 1∨c 1)∧(a 2∨b 2∨c 2)∧(a 3∨b 3∨c 3)(a 1∨a 2∨a 3)∧(b 1∨b 2∨b 3)∧(c 1∨c 2∨c 3)﹁(a 1∧a 2)∧﹁(a 1∧a 3)∧﹁(a 2∧a 3)﹁(b 1∧b 2)∧﹁(b 1∧b 3)∧﹁(b 2∧b 3)﹁(c 1∧c 2)∧﹁(c 1∧c 3)∧﹁(c 2∧c 3)此题看上去似乎有点“繁”，但常用程序设计语言都提供了逻辑表达式计算功能，写完就一点都不繁了。
面向Java的分布式程序测试系统
面向Java的分布式程序测试系统顾庆;陈道蓄;谢立;孙钟秀【期刊名称】《软件学报》【年(卷),期】2003(014)004【摘要】由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.【总页数】7页(P743-749)【作者】顾庆;陈道蓄;谢立;孙钟秀【作者单位】南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093【正文语种】中文【中图分类】TP311【相关文献】1.一个面向分布式程序的测试系统框架 [J], 顾庆;陈道蓄;韩杰;谢立;孙钟秀2.基于面向对象的分布式程序设计语言NC＋＋的测试系统 [J], 顾庆;陈道蓄3.利用Java进行疫情大数据分析——"Java面向对象程序设计"课程实践教学设计研究 [J], 纪辉进4.利用Java进行疫情大数据分析——“Java面向对象程序设计”课程实践教学设计研究 [J], 纪辉进5.CMuJava:一个面向Java程序并发变异体生成系统 [J], 孙昌爱;耿宁;代贺鹏;顾友达因版权原因，仅展示原文概要，查看原文内容请购买。
组合服务自动合成技术
组合服务自动合成技术
钱海波;钱柱中;陆桑璐;陈道蓄
【期刊名称】《计算机科学》
【年(卷),期】2008(035)001
【摘要】Web服务凭借其良好的平台无关性得到了广泛的关注和运用,但单个Web服务功能单一,不能满足当今日益复杂多变的服务请求.为了能够快速、低成本地满足复杂的用户需求,Web服务组合应运而生.本文首先介绍了各类Web服务的描述模型,然后基于不同的描述方法,结合近年来Web服务组合研究的成果,介绍了Web服务自动合成技术,最后对Web服务组合的未来发展和研究方向做出了展望.【总页数】5页(P135-139)
【作者】钱海波;钱柱中;陆桑璐;陈道蓄
【作者单位】南京大学计算机软件新技术国家重点实验室,南京210093;南京大学计算机科学与技术系,南京210093
【正文语种】中文
【中图分类】TP3
【相关文献】
1.基于Web服务组合技术的智能交通信息服务系统 [J], 邢智毅;李辉
2.技术帮打出"服务SaaS化"组合拳,拓展技术VC企业新模式 [J], 王涵
3.基于过程划分技术的服务组合拆分方法 [J], 刘惠剑; 刘峻松; 王佳伟; 薛岗
4.基于案例驱动的应急测绘空间服务组合技术及其实现 [J], 姜东兴
5.基于语义的空间环境信息服务组合技术研究 [J], 王健;鲁国瑞;蔡燕霞
因版权原因，仅展示原文概要，查看原文内容请购买。
一个面向分布式程序的测试系统框架
一个面向分布式程序的测试系统框架顾庆;陈道蓄;韩杰;谢立;孙钟秀【期刊名称】《软件学报》【年(卷),期】2000(011)008【摘要】提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace,revised version).框架的主要功能是对分布式程序进行单元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分析的动态部分.在构件的基础上,PSET*的功能可以较容易地得以改进和增强.【总页数】7页(P1053-1059)【作者】顾庆;陈道蓄;韩杰;谢立;孙钟秀【作者单位】南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093【正文语种】中文【中图分类】TP311【相关文献】1.面向分布式网络的信息按需分层分发系统框架 [J], 张冬梅;王磊2.一个分布式入侵检测系统框架设计 [J], 韩腊萍;余雪丽3.面向Java的分布式程序测试系统 [J], 顾庆;陈道蓄;谢立;孙钟秀4.基于面向对象的分布式程序设计语言NC＋＋的测试系统 [J], 顾庆;陈道蓄5.DRTC＋＋：一个面向对象的分布式实时程序设计语言 [J], 舒敏;张松梅因版权原因，仅展示原文概要，查看原文内容请购买。