摘要：
1.形式化方法 (1)广义上：将离散数学的方法用于解决软件工程领域的问题。 包括:建立精确的数学模型、对模型的分析活动。 狭义上：进行形式化的规格说明、模型推理、验证。 (2)作用：解决规格说明的二义性、提高精确性、提高确认手段。 (3)根本上，软件的设计过程就是一个建立形式规约的过程。 程序---... 阅读全文
摘要：
1.软件需求： (1)定义：用户解决问题或达到目的所需要的条件或能力。 系统或系统部件要满足合同标准、规范或其他正式规定文档所需具有的条件或能力。 一种反映上面两句所描述的条件或能力的文档说明。 (2)业务需求：1.业务需求：描述项目开发的理由以及将给开发者和购买者带来的利益。 2.项目远景：描述一... 阅读全文
摘要：
1.软件项目管理: 目的：有效的保证软件项目能够按照预定的成本、进度和质量要求顺利完成。 且有利于将个人的开发能力转化为企业的开发能力，并使企业的开发能力不断提高和成熟。2.概述： 特征：产品不可见性、项目不确定性、过程多变化性、人员流动性。 4P：people、product、process（过程... 阅读全文