图书介绍：本书是英国著名软件工程学家lan sommerville系统介绍软件工程理论 的力作，以要求极高的一类系统为实例，精辟透彻地阐述了软件工程的内涵 。作者在第2篇中详细阐述了软件系统需求的内容、过程和描述方法，尤其 是对形式化描述有详细的介绍和分析；在第3篇中针对主要类型系统的设计 问题和重要的设计方法展开介绍，主要介绍了分布式系统设计、实时系统设 计和用户界面设计，同时从体系结构、面向对象以及复用等视角对设计过程 进行了精辟阐述；在第4篇和第5篇中，主要以实时系统为对象，介绍了系统 的一系列重要特性及其度量方法，以及生命周期中包含的软件工程过程（如 验证和测试等）内容和方法，内容翔实而透彻。在第7篇中作者对遗留系统 处理和软件进化理论给出了高屋建瓴的分析，对软件改造的实践者来说无疑 是一盏指路明灯；除此之外，作者还在第1篇和第6篇中对软件工程过程的诸...