软件工程：活动设计与开发的本质探究-王立福

"《其中的活动设计与开发-2011 王立福 软件工程自考》是一本关于软件工程实践和理论的教材，由北京大学软件工程国家工程研究中心的王立福撰写。书中涵盖了软件工程的基础、软件过程、软件需求、软件开发方法学以及软件成熟度模型CMM等多个核心主题。该书强调理解软件开发的本质和手段，以指导读者有效进行软件开发和测评。" 在这本书中，作者首先提出了软件开发的本质是将问题域中的概念和逻辑映射到不同的抽象层，这一过程中包含了数据抽象和过程抽象。数据抽象是指从问题空间的概念转化为解空间的模型化概念，如面向对象方法中的对象映射；而过程抽象则是将问题空间的处理逻辑转换为解空间的计算逻辑，如结构化方法中的流程控制。这两个抽象过程在需求分析阶段尤为重要，它们帮助形成计算的客体和构建可构造的计算逻辑。 软件过程部分，书中讨论了软件开发活动中涉及的各个步骤，包括文档的设计、编辑、评审和批准。文档不仅是沟通的工具，也是确保项目质量的重要环节。自动化文档工具的使用可以提高效率，保证信息的准确性和一致性。 软件需求及系统/产品（需求）规约是软件开发的起点，定义了产品的功能和非功能需求，是后续测试和验证的基准。书中强调了需求分析的重要性，它是形成产品/系统确认（测试）标尺的关键。 软件开发方法学部分，作者介绍了结构化方法、面向对象方法、面向数据结构方法以及维也纳开发方法等多种方法学，这些方法为实现开发过程提供了路径。每种方法都有其特定的应用场景和优势，开发者需要根据项目需求选择合适的方法。 最后，CMM（Capability Maturity Model for software）部分探讨了提升软件过程能力，以确保产出正确产品的过程保障。CMM为软件组织提供了一个逐步改进的框架，通过成熟度等级的提升，来改善软件开发的效率和质量。 《其中的活动设计与开发-2011 王立福 软件工程自考》是一本全面介绍软件工程理论与实践的教材，对于自学考试的学生和软件工程从业者来说，提供了深入理解软件开发过程、方法和技术的宝贵资源。