软件需求与规约：定义开发起点与验证标准

在"软件需求及系统/产品(需求)规约"这一部分，王福利教授的软件工程课件着重探讨了软件开发中的关键环节——明确问题定义和需求规格。他强调，无论是自顶向下还是自底向上开发策略，理解并准确地定义问题是所有工作的基础。软件工程的本质在于将问题域（客观事物系统）的复杂性映射到不同的抽象层次，包括数据抽象和过程抽象。 首先，问题域的概念决定了解决问题时使用的思维逻辑，比如操作系统与语言处理系统的区别，或者网络计算机的异构性。为了实现这种映射，软件工程师需要通过需求分析来建立模型，如将对象与问题空间的概念进行关联（对象=F（张山），这里运用的是面向对象方法的数据抽象）。另一个例子是，将问题空间的处理逻辑转化为算法或流程，如计算学生成绩的结构化方法应用。 需求规约在这里扮演着至关重要的角色，它是产品/系统确认（测试）的标准，确保开发团队对用户期望有清晰的理解。软件需求被分解为具体的规格，如数据结构、功能描述以及交互设计，这些都是软件开发过程的起点，也是后续设计、编码和测试的依据。 软件开发方法学如结构化方法、面向对象方法和面向数据结构方法等，提供了实现开发路径的具体工具和技术，帮助工程师选择合适的手段来解决特定问题。同时，CMM模型（能力成熟度模型）则关注软件开发过程的能力提升，以保证产品质量和一致性。 整个软件生命周期过程中，软件工程师需要运用各种支持与管理技术，构建出一套完整的软件工程知识结构，包括软件生存周期模型、过程支持方向（活动与顺序）、以及方法论的选择。通过这些理论和实践的结合，软件开发才能更加高效和成功。理解并掌握这些知识，是每个软件开发者必须具备的基础思想和技能。