软件工程与Use-Case描述：王立福教授讲座

"北大王立福教授在2012年的软件工程研修班课件中探讨了半形式化的Use-Case描述，强调在复杂的实时系统中，为了保持一致性，需要使用更结构化的描述技术，如可视化建模，以更好地理解和管理use cases。课程还涵盖了软件工程的基础知识，包括软件过程、需求规格、开发方法学和CMM（软件能力成熟度模型）。" 在软件工程中，Use-Case描述是理解系统功能和用户交互的关键工具。然而，对于复杂的实时系统，传统的文本描述方式可能不足以准确地捕获所有交互细节，可能导致一致性问题。为了解决这个问题，王立福教授提出采用半形式化的描述技术，这通常涉及到使用UML（统一建模语言）或其他可视化建模工具。这些工具可以帮助系统分析师清晰地描绘出Actors与Use Cases之间的交互，包括多个状态和状态转换，确保模型与实际需求的一致性。 软件工程不仅仅是编写代码，它是一门综合性的学科，关注软件开发的全过程。课程的第一部分，概论，强调了软件开发的本质，即通过计算机科学理论和工程管理原则，实现满足用户需求的软件产品。软件生存周期过程包括需求分析、设计、实现、集成、部署和维护等阶段，每个阶段都有其特定的目标和活动。 在软件过程中，需求及系统/产品需求规约被视为软件开发的起点，它们定义了软件的功能性和非功能性需求，同时也是测试和验证的基准。软件开发方法学，如结构化方法、面向对象方法、面向数据结构方法和维也纳开发方法，提供了不同的实现途径，帮助开发者选择适合项目的技术路径。 CMM（软件能力成熟度模型）在课程中被提及，它是评估和改进软件开发过程能力的一种框架，旨在确保过程的成熟性和可预测性，以提高产品质量和项目成功率。 王立福教授的课件深入探讨了软件工程的核心概念，包括Use-Case的半形式化描述，软件过程的组织，需求管理，以及工程方法的选择和过程改进，这些都是软件开发成功的关键要素。