Moutan的博客

形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。而在计算机科学和软件工程领域中，形式化方法本质上是基于数学方法来描述目标软件系统属性的一种技术，适合于软件和硬件系统的描述、开发和验证。形式化方法重要研究内容是形式规约，它是对程序“做什么”的数学描述，是具有精确语义的形式语言书写的程序功能描述，是设计和编制程序的出发点，也是验证程序是否正确的正确依据。根据说明目标软件系统的方式，形式化方法可分为两类：1.面向模型的形式化方法，通过构造数学模型来说明系统行为。2.面向属性的形式化方法，通

Java反射机制是在运行状态中，对于任意一个类，都能知道此类的所有属性和方法；对于任意一个对象，都能够调用此对象的任意方法和属性；动态获取信息以及动态调用对象方法的功能。简单说，反射机制就是指程序在运行时能够获取自身信息。Java反射机制大大提高了系统的灵活性和扩展性，代码运行时装配，无需在组件之间进行源代码链接的特性更易实现面向对象。但是反射也会消耗一定的系统资源，在不需要动态创建对象时，反射所占资源就造成了资源浪费。另外反射调用方法时可忽略权限检查，获取其类的私有方法和属性，因此可能会破坏类的封

决策树是在已知各种情况发生概论的基础上，通过构成决策树来求取净现值的期望值大于零的概率，评价项目风险，判断其可行性的决策分析方法，是直观运用概率分析的一种图解法。由于这种决策分治画成图形很像一棵树的枝干，故称决策树。决策树是一个预测模型，它代表的是对象属性和对象值的一种映射关系。树地每个节点表示某个对象，每个分叉路径则代表某个可能的属性值，而每个叶节点则对应从根节点到该叶节点所经历的路径所表示的对象的值。优点：1.易于理解和实现。 2.数据准备往往是简单或者不必要的，而且能同...

观后感：这篇文章作者在批判的是，在现代生活中，人们因为寻求便利而所制造的软件包，在脚本的伪装下使人们深信不疑代码重用的必然性。但事实确是如此吗？恐怕并不是，Unix并没有构建共享库的标准方式，依赖于脚本，把Web搞得一团糟，代码重用导致浪费严重。而一群盲目的根本不知道IT架构为何物的所谓IT“专业人士”永无休止地复制粘贴着，但却毫无自知。这是现代IT行业发展的可悲之处。Brooks提出观点之一，所谓质量，只有在某人对它负责时才有意义，而这个“某人”只能是一个人，不能是几个人--二重奏除外。一味的模仿

除了瀑布模型这间小屋和其他小屋有着明显界限之外，其他几种模型就像一座山，有着不可分割的关系，十分密切。这幅图总体上就分为：需求->设计->制造->测试，四个阶段。不同的开发项目需要不同的模式，要选择合适的模式才能够在生产开发中获得更高的效率。在我看来，瀑布模型更像传统工业制造模式，严格根据设计模型进行一系列规律的流水线工作，前期阶段的设计很重要。适用于需求易于完善定义且不宜变更的软件系统。但缺乏灵活性。敏捷开发将软件项目切分为多个可相互联系又可独立运行的子项目，人员的沟通很重要，其

观后感：对于软件开发实践，其环境的不可预测性，导致之前在不相同环境下所归纳总结的方法论并不能实际有效解决在开发过程中所面对的问题。而且开发人员生产率的变化是数量级的，之前研究组织通过小量数据所给出的论调基础不健全，数据缺乏分析，不适用于当前开发参考。所以软件开发方法论对于软件开发人员并没有太大的指导意义。在开发过程中，其开发人员的能力需求更为重要。面对不规律的环境，需要开发人员理解并作出变更（广义上的需求变更更、方法变更、开发实践变更、商业计划变更、代码或配置变更等等）。要缩短想法到反馈的周期，需要多功能型

软件开发周期预估：根据软件开发内容、开发工具、开发人员等因素对需求调研、程序设计、编码、测试等整个开发过程所花费的时间做的预测。超过预估时间的因素：1.策划者的不合理计划，使团队进行了重复工作或者绕行而浪费时间。2.太过理想化，没有将开发过程中可能发生的突发情况考虑进计划中。例如：节假日，工作人员因个人原因而缺席等等。3.团队负责人与客户沟通不足，而导致多次修改。4.资源准备不充分。5.团队沟通不足，让开发人员产生厌烦、懈怠等情绪。6.团队的纪律性不够。没有严格的时间观念和做事风

WBS（Work Breakdown Structure），工作分解结构跟因数分解是一个原理，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成一项项工作，再将一项项工作分配到每个人的日常活动中，直到分解不下去为止。即：项目->任务->工作->日常活动。它是一种在项目全范围内分解和定义各层次工作包的方法。WBS按照项目发展规律，依据一定的原则和规定，进行系统化的、相互关联和协调的层次分析，可以具体作为组织项目实施的工作依据。其通常是一种面向“成果”的“树”，其底层是细化

分而治之就是把一个复杂的问题，按照一定的方法将问题进行区域划分为若干个相对简单的问题，一一进行解决，合并起来就是复杂问题的解。而自项而下设计的模块化设计方法也是应用了分而治之的思想。“项”是指系统总功能，而“向下”指根据系统总要求，将系统分成若干个子系，再将若干个子系分成若干个功能设计一个系统。这个方法在程序设计时十分适用。...

计算机科学与软件工程所涉及的领域不同。计算机科学学习的是计算机全面知识，而软件工程学习的是计算机软件开发和编写程序。 计算机科学是计算机专业综合性学科，偏向基础学科学习与掌握，主要培养科学技术型人才。其更注重于低级语言和机器语言，偏硬件方向。 软件工程是以计算机科学为基础，强调软件开发工程性，主要培养实践型人才。其注重于面向对象语言，偏软件方向。...

在我看来，软件工程方法论对软件工程开发是必不可缺的。因为方法论是可使得软件开发工作人员有效率地去

我的观点是：不是。 我认为软件工程是实践总结出来的一些系统软件开发方式，意在使对软件开发感兴趣人员以及软件开发人员了解到软件开发不仅仅只是编写代码，还需要一系列地设计，调试，维护等等操作。也使得其可以更加高效清晰地进行软件开发，以及对软件开发方面的启发和发散思考。而不仅仅只是教会人们开发软件。...