上课时间：周三 18：00-20：30
上课地点：二教 416
任课教师：王千祥
助教：吴倩(wuqian08@sei.pku.edu.cn)
课程设置目标：如何提高软件开发的效率与质量。特别是研究网络环境中的软件系统。
日程安排（逐步细化）
(09.16) 第零讲：课程介绍
(09.16) 第一讲： 软件与软件开发
(09.23)第二讲： 基于SSH的软件开发 （demo）
(10.14) 第三讲：中间件概述
(10.21)第四讲：软件实体的交互基础
(10.28)第五讲：Web 服务
(11.04,11)第六讲：质量中间件
(11.18) 中期检查
(11.25) 第七讲：软件质量
(12.02)第八讲：模型检验
(12.09)第九讲：代码分析（1/3）
(12.16)第十讲：代码分析（2/3）
(12.23)第十一讲：代码分析（3/3）