摘要：
第五章、软件过程中的形式化方法1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。 狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。 形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。 阅读全文
摘要：
第四章、需求工程1、需求分析是指理解用户需求，就软件功能与客户达成一致，估计软件风险和评估项目代价，最终形成开发计划的一个复杂过程在这个过程中，用户的确是处在主导地位，需求分析工程师和项目经理要负责整理用户需求，为之后的软件设计打下基础搜索。2、需求分析阶段包括：·业务需求——反映了组织机构或客户对... 阅读全文
摘要：
第三章、软件项目管理1、包括以下几方面a、人员组织与管理 b、项目沟通管理 c、软件项目规划 d、软件风险管理 e、软件配置管理2、软件项目管理的对象是软件工程项目。它所涉及的范围覆盖了整个软件工程过程。 为使软件项目开发获得成功，关键问题是必须对软件项目的工作范围、可能风险、需要资源（人、硬件/软... 阅读全文
摘要：
第二章：软件过程1、软件过程是指一套关于项目的阶段、状态、方法、技术和开发、维护软件的人员以及相关Artifacts(计划、文档、模型、编码、测试、手册等)组成。2、基本活动a、问题提出b、软件需求规格说明c、软件设计d、软件实现e、软件确认f、软件演化 阅读全文
摘要：
第一章：概述1、软件有三个要素，即方法、工具和过程。 软件工程方法为软件开发提供了“如何做”的技术。它包括了多方面的任务，如项目计划与估算、软件系统需求分析、数据结构、系统总体结构的设计、算法过程的设计、编码、测试以及维护等。 软件工具为软件工程方法提供了自动的或半自动的软件支撑环境。目前，已经推... 阅读全文
摘要：
根据课程要求和自己的理解，我想把我对《软件工程——理论方法与实践》这本书的理解放在这里，欢迎指正。 阅读全文