m0_52014276的博客

**什么是形式化方法？ 软件形式化方法 编辑词条 软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。 1起源编辑 软件形式化方法最早可追溯到20世纪50年代后期对于 程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理

软件工程方法论对我们开发软件有多大的用处？ 首先，软件工程方法论包含了三要素：方法，工具和过程。 软件工程方法为软件开发提供了“如何做”的技术；软件工具则为软件工程方法提供了自动的或者半自动的软件支撑环境；软件工程的过程则是将软件工程的方法和工具综合起来以达到合理，及时地进行计算机软件开发的目的。 开发软件软件一个重要的根基在于对质量的关注，而全面的质量管理和类似的理念刺激了不断的过程改进，正是这种改进导致了更加成熟的软件工程方法的不断出现。 个人看法 软件工程方法论对开发软件最大的作用是树立了两个重要的

软件工程是不是教不会写程序的人开发软件？ 这是软件工程课的老师给我们布置的一道思考题。在应试教育体系学习了这么久，一般遇到这种问这么绝对的问题，下意识的反映就是不对或者不完全对。 我觉得，对很多人应该很大程度是。 首先，软件工程是一门研究用工程化的方法构建和维护有效的，实用性和高质量的软件的学科。它涉及程序设计语言，数据库，软件开发工具，系统平台，标准，设计模式等方面。总的来说就是软件工程提供了一种科学的，有效的开发思想，在我们的思想里构建了一个软件开发的具体模型，或者说软件开发的各个阶段的标准。可以很有效