软件工程精化途径：事件流描述与开发方法探讨

"《精化途径-2011王立福的软件工程课件》深入探讨了软件工程中的关键概念和实践技术。该课程主要关注如何详细描述use case（用例）中的各种可能路径，包括其核心路径（基本路径）和可选路径。在软件工程的框架下，课程强调了事件流技术的重要性，这种技术用于规范用例执行过程中系统的动态行为以及与参与者间的交互。 在软件开发的早期阶段，课程首先介绍了软件工程的概论，包括软件开发的本质——它是问题域到不同抽象层次概念和计算逻辑的映射，以及开发的基本手段。这涉及到对问题域的理解，如操作系统与语言处理系统之间的异构性，以及编程环境如VB、VC的选择。通过实例，如对象的创建（数据抽象）和处理逻辑的定义（过程抽象），阐述了面向对象方法（OO方法）、结构化方法等在需求分析中的应用。 CMM（能力成熟度模型）作为软件过程能力保障的一部分，被用来衡量和提升软件开发过程的质量。课程还提及了软件生存周期模型的构建，强调了软件过程的支持与管理技术，这些都构成了软件工程知识结构的基础。 课程内容包括软件过程的划分，如结构化方法、面向对象方法等开发路径的选择，以及如何通过这些方法实现从问题域到解空间的抽象，从而设计出满足需求的产品或系统。在整个过程中，软件需求的明确和系统/产品规约是至关重要的，它们是测试和确认产品正确性的标准。 此外，课程还特别关注了如何形式化地描述use case，特别是在涉及复杂路径的情况下，使用事件流技术能够清晰地展示出系统的行为变化和参与者互动。通过精化的途径，开发者不仅了解了如何描述，还学会了如何将这些理论应用于实际的软件开发工作中，确保软件产品的高效性和有效性。"