软件工程：本质与属性标识

"任务标识属性-北大王立福《软件工程》自考课件" 本文主要探讨了软件工程中的任务标识属性以及相关概念，由北京大学软件工程国家工程研究中心的王立福教授讲解。课程旨在通过深入理解软件开发的本质、过程、需求规约以及开发方法学，提升软件开发的专业素养。 在软件工程中，任务2的重点是标识属性。属性是类的核心组成部分，反映了类的特性，通常与类的责任紧密相关。识别实体类的属性尤为重要，因为实体类通常对应于领域模型或业务实体类。领域类和业务实体类的属性能够为标识实体类属性提供有价值的输入，确保属性设计的准确性和完整性。 课程中提到了软件开发的本质是将问题域映射到不同抽象层的概念和计算逻辑。例如，数据抽象是将问题空间的概念转化为模型化概念，这一过程中需求分析起着关键作用，而面向对象方法则是常用的技术手段。另一方面，过程抽象涉及将问题空间的处理逻辑转化为解空间的处理逻辑，这通常采用结构化方法实现，基于过程抽象的原理，目的是构建可执行的计算逻辑。 软件开发的过程包括多个阶段，如软件过程、需求分析和软件开发方法学。软件过程涵盖了软件开发涉及的所有活动及其组织方式，它是产品或系统确认的基准。软件需求及系统/产品需求规约是软件开发的起点，也是测试和验证的标准。软件开发方法学则探讨了如何有效地进行开发活动，包括结构化方法、面向对象方法、面向数据结构方法等。 CMM（Capability Maturity Model for software）是软件开发过程能力成熟度模型，旨在确保开发出正确的产品或系统。它强调过程的支持和管理，为软件工程提供了基础的知识结构。 王立福教授的课程涵盖了软件工程的多个核心方面，从本质到方法学，旨在帮助学习者建立起扎实的软件开发理论基础，并理解如何将这些理论应用于实际的开发过程中。通过学习这些知识点，学生能够更好地掌握软件开发中的属性标识，以及如何有效地进行需求分析、设计和实现。