中国科学院大学 计算机与控制学院

本课程为计算机科学研究生的学科基础课。课程主要讲授软件开发中的原理和技艺。课程内容包括：计算思维的普适性和问题空间，驾驭大规模软件复杂性的策略，信息本体的核心作用。业务模型与信息本体和数据模型。软件结构支持系统和用户行为变化的原理，验证成功软件的判据。大规模网络应用案例分析。要求学生在课程项目中完成一个面向服务的大规模互联网应用系统。通过本课程的学习，学生能掌握软件开发中信息本体归纳和系统行为建模的思维方法，能把分析模型映射到一个可靠灵活的服务体系结构中，并设计与实现系统原型，从而为进一步学习现代计算机科学和从事专业研究工作打下基础。

内容提要：
第一章 导论 
1.1 计算思维，1.2指导原则，1.3问题空间，1.4求解过程 
第二章 驾驭复杂性
2.1复杂维度，2.2抽象原则，2.3分治原则，2.4松耦原则 
第三章 软件模型 
3.5分类归纳，3.6领域知识，3.7业务模型，3.8数据模型 
第四章 软件系统
4.1体系结构，4.2 应用关联，4.3系统行为，4.4用户行为 
第五章 软件验证 
5.1测试方法，5.2形式验证，5.3市场检证，5.4群体智慧（开源社区）
第六章 软件实例 
6.1用户管理，6.2内容管理，6.3社会网络，6.4搜索服务 

自编讲义

Software Engineering for Internet Applications, By Eve Andersson, Philip Greenspun and Andrew Grumet, MIT Press 2006; ISBN 0262511916。