构建之法阅读笔记05

《构建之法》教会了我很多东西，不一定是编程技巧，而是思考的方式。

　　形式化方法建立在严格的数学基础上，其目标是希望能使系统具有较高的可信度和正确性，并能使系统具有良好的结构，使其易维护，关键是能较好地满足用户需求。“形式化方法”一词虽然一直被广泛地应用，但在不同程度上，因理解不同，使其具有了不同的含义。一般说来，形式化方法是指具有坚实数学基础的方法，它是数学上的综合、分析技术的应用，用于开发计算机控制的系统，经常有推理工具的支持，它可提供一个用于模型设计和分析的一个严格而有效的途径。

现在因为互联网的发展，人们为了解决现实社会和生活中的各种问题，总是会求助于软件。而为了全面而准确地找到软件的需求，一般我们按照以下步骤。1.获取和引导需求；2.分析和定义需求；3.验证需求；4.在软件产品的生命周期中管理需求。而在软件团队分析软件需求时还要考虑一些利益相关者，比如，用户，顾客，市场分析师，监管机构，软件工程师，我们不可能满足所有利益相关者的要求，但是我们需要做到让相关角色在这个阶段有机会参与和提出他们的需求和意见。

　　我们作为未来的软件工程师，让我们一起为软件工程行业的未来而努力吧！