m0_59084856的博客

在计算机科学和软件⼯程领域，形式化⽅法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化⽅法⽤于软件和硬件设计，是期望能够像其它⼯程学科⼀样，使⽤适当的数学分析以提⾼设计的可靠性和鲁棒性。但是，由于采⽤形式化⽅法的成本⾼意味着它们通常只⽤于开发注重安全性的⾼度整合的系统。形式化⽅法定义@暗月寺起云13⽤于开发计算机系统的形式化⽅法是描述系统性质的基于数学的技术，这样的形式化⽅法提供了⼀个框架，可以在框架中以系统的⽽不是特别的⽅式刻划、开发和验 证系统。如果⼀个⽅法有良好的数学基

Java的反射机制是指在程序的运行状态中，可以构造任意一个类的对象，可以了解任意一个对象所属的类，可以了解任意一个类的成员变量和方法，可以调用任意一个对象的属性和方法。这种动态获取程序信息以及动态调用对象的功能称为Java语言的反射机制。反射被视为动态语言的关键。Java反射机制主要提供了以下功能： 在运行时判断任意一个对象所属的类；在运行时构造任意一个类的对象；在运行时判断任意一个类所具有的成员变量和方法；在运行时调用任意一个对象的方法；生成动态代理。...

区别：软硬不同1、计算机科学与技术：既有软件技术，也包括硬件技术。2、软件工程：偏向软件技术。方向不同软件工程偏向于应用已有的技术，程序设计语言，偏向于将它们应用于计算机工程项目中以达到最好的结果。计算机科学技术的出发点是那些奠定计算机科学的发展至今的基础理论关系：计算机科学与技术和软件工程专业同属计算机类专业，他们之间的关系十分紧密，本科期间绝大多数课程相同。...

原文链接什么是WBS？作为项目管理人员对WBS肯定不会陌生，它是每一个项目管理人员所必须掌握的项目管理工具之一。如果你不懂WBS，那可以肯定你绝对不是一个合格的项目管理人员。如果没有对WBS有一个系统的概念，那么WBS使用过程中必然会或多或少出现问题，影响WBS的使用效率。今天我将讲述一下WBS的具体概念，让大家对WBS有一个全面系统的认识，以便为大家今后创建WBS的工作提供一定的理论借鉴。1.WBS定义：WBS，即工作分解结构(work break-downstructure)是以项目的可

“分而治之”方法(又称“分治术”)，是有效算法设计中普遍采用的一种技术。所谓“分而治之”就是把一个复杂的算法问题按一定的“分解”方法分为等价的规模较小的若干部分，然后逐个解决，分别找出各部分的解，把各部分的解组成整个问题的解。...

软件生命周期由软件定义、软件开发和运行维三个时期组成，每个时期又进一步划分成若干个阶段。总体为问题定义、可行性研究、需求分析、总体设计、详细设计、编码和单元测试、综合测试和软件维护，这八个阶段。在软件开发开始之前，需要对软件开发周期进行预估，这是一个综合分析的过程，其中的工作包括了很多细节问题需要处理，任何一个环节没有做到位，周期预估时间与实际时间就会产生较大差异。对于开发周期总是超出预估时间，我认为有以下原因：1、开发人员的经验不足，经历过的软件开发项目次数少，对软件开发过程的各种细节，时间分配等认识

在实际项目开发过程中，我们并没有办法去预测将遇到的困难，很难用一个固定的方法来开发项目。即使是那些牛人说的软件开发方法论，也不是万能的。因为it业的技能很难被掌握和度量，it人员掌握技能有两个基本条件：一个环境足够规律以便可预测和有机会通过长时间实践来学习掌握这些规律。但是典型的软件项目往往是没有规律及可预测环境的。我们不能够全部把方法论的东西全部用到实际中，而且随着时代的进步各种软件开发方法也在不断的出现。这就使得我们觉得软件开发方法论糟糕。...

为软件开发提供了一系列的方法

软件工程并不是教会不会写程序的人开发软件，因为软件工程主旨为工程化的方法指导软件开发、维护。软件工程开发过程分为可行性研究、需求分析、软件设计、编码、软件测试、软件维护等，而不是一开始就写代码，而编写代码只是其中很小的一部分。我认为软件工程的目的是要教会软件开发者如何工程化的去完成一个完整的软件开发。...