软件工程：需求规约与用况描述的关键

"北大王立福的《软件工程》自考课件主要涵盖了软件开发的基础、过程、需求规格、开发方法学以及CMM等相关知识，强调了软件开发的本质和核心手段。课程指出，规约人员在制定用况描述时应与实际用户紧密合作，确保用况易于理解、正确、完整和一致。用况的评估应在需求捕获的复审会议上进行，最终由客户和用户确认其准确性。此外，课程还探讨了不同的软件开发方法，如结构化、面向对象等，并提到软件生存周期模型和CMM对于过程能力保障的重要性。软件开发的本质被定义为问题域到抽象层的概念和计算逻辑映射，涉及数据抽象和过程抽象的过程，需求分析是关键步骤。" 在这份课件中，王立福教授详细阐述了软件工程的多个方面。首先，他指出软件开发的本质在于将问题域中的概念和计算逻辑映射到不同的抽象层次，这一过程包括数据抽象和过程抽象，分别对应于需求分析阶段。数据抽象关注于问题空间的概念与模型化概念之间的映射，而过程抽象则关注处理逻辑的转换。这两种抽象是通过面向对象方法和结构化方法来实现的。 在软件过程中，用况描述是需求规格的重要部分。规约人员需要与实际用户密切协作，确保用况的易理解性、正确性、完整性和一致性。用况描述的评估不仅由分析员进行，也需要用户和客户的确认，因为他们最了解实际需求。 此外，课件还提到了软件开发的生命周期模型，强调了软件生存周期过程的支持和建立，以及软件开发方法学的多样性，如结构化方法、面向对象方法等。CMM（能力成熟度模型）被提及，它旨在确保软件开发过程的能力和质量。 王立福的《软件工程》课件提供了一个全面的框架，用于理解和实践软件开发的各个方面，从基本理念到具体方法，再到过程管理和质量保证，对学习者深入理解软件工程具有重要的指导价值。