软件工程

本书是英国著名软件工程学家lan sommerville系统介绍软件工程理论

的力作，以要求极高的一类系统为实例，精辟透彻地阐述了软件工程的内涵

。作者在第2篇中详细阐述了软件系统需求的内容、过程和描述方法，尤其

是对形式化描述有详细的介绍和分析；在第3篇中针对主要类型系统的设计

问题和重要的设计方法展开介绍，主要介绍了分布式系统设计、实时系统设

计和用户界面设计，同时从体系结构、面向对象以及复用等视角对设计过程

进行了精辟阐述；在第4篇和第5篇中，主要以实时系统为对象，介绍了系统

的一系列重要特性及其度量方法，以及生命周期中包含的软件工程过程（如

验证和测试等）内容和方法，内容翔实而透彻。在第7篇中作者对遗留系统

处理和软件进化理论给出了高屋建瓴的分析，对软件改造的实践者来说无疑

是一盏指路明灯；除此之外，作者还在第1篇和第6篇中对软件工程过程的诸

多管理方面（如人员管理、项目管理、过程管理、成本估计和质量管理等重

要方面）有极为详细的介绍和分析。