会编程的小逸

摘要： 第5章软件工程中的形式化方法从广义上讲，形式化方法（FormalMethod）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的只要目的... 阅读全文

摘要： 第4章 需求工程 软件需求是决定软件开发是否成功的一个关键因素。一、软件工程 需求的概念涵盖用户角度（系统的外部行为）和开发人员角度（系统的内部特征），关键在于需求一定要文档化。 软件需求划分：业务需求、用户需求、系统需求、功能需求和非功能需求等类型。 功能需求描述系统应该提供的功能或服务，通常涉及... 阅读全文

摘要： 第3章 软件项目管理 软件项目管理有利于将软件开发人员的个人开发能力转化为企业的开发能力，并使企业的软件开发能力不断提高和成熟。一、软件项目管理概述 软件项目管理是为了使软件项目能够按照预定的成本、进度、质量顺利完成，而对成本、人员、进度、质量、风险等进行分析和管理的活动。 软件项目的特征：1.软件... 阅读全文

摘要： 第2章 软件过程 软件项目的失败更多是由于缺少过程规范。只有建立规范的软件开发过程，并持续不断的加以改进，才能管理和控制软件产品的质量。一、软件过程的概念 在软件发展的前期阶段，人们强调软件开发的结果而忽略软件开发的过程，即任务思维的模式。这种模式下，用户交互只发生在确定需求知识和产品发布之后，不符... 阅读全文

摘要： 第一章 概述 软件是人类思维创造的杰作，并成为人类现代生活的催化剂。在计算机诞生的初期，软件仅仅是计算机硬件的附属品。而今，软件以各种形式深入各行各业。 软件工程是为了解决开发成本效益和软件质量的问题而产生的。本章从软件、软件工程、软件工程知识体系和软件工程职业道德规范来对然间工程进行介绍。一、软件... 阅读全文