- 博客(9)
- 收藏
- 关注
RSS订阅原创 阅读和了解什么是形式化方法
形式化方法形式化方法英文的名称是formalmethods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属.
2022-04-06 18:38:53
135
转载 了解java的反射机制
Java 反射机制是在运行状态中，对于任意一个类，都能够知道这个类的所有属性和方法；对于任意一个对象，都能够调用它的任意一个方法；这种动态获取的信息以及动态调用对象的方法的功能称为 Java 语言的反射机制。 Java 反射机制主要提供了以下功能： 1. 在运行时判断任意一个对象所属的类 2. 在运行时构造任意一个类的对象 3.在运行时判断任意一个类所具有的成员变量和方法（通过反射甚至可以调用private 方法） 4. 在运行时调用任意一个对象的方法（***** 注意...
2022-04-06 18:30:28
103
转载 WBS（工作分解结构)
工作分解结构（简称WBS）跟因数分解是一个原理，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成一项项工作，再把一项项工作分配到每个人的日常活动中，直到分解不下去为止。即：项目→任务→工作→日常活动。工作分解结构以可交付成果为导向，对项目要素进行的分组，它归纳和定义了项目的整个工作范围，每下降一层代表对项目工作的更详细定义。WBS总是处于计划过程的中心，也是制定进度计划、资源需求、成本预算、风险管理计划和采购计划等的重要基础。...
2022-03-16 17:58:43
5791
转载 什么是分而治之
字面上的解释是“分而治之”，就是把一个复杂的问题分成两个或更多的相同或相似的子问题，直到最后子问题可以简单的直接求解，原问题的解即子问题的解的合并。 这个技巧是很多高效算法的基础，如 排序算法 （ 快速排序 、 归并排序 ）、 傅立叶变换 （ 快速傅立叶变换 ）。中文名:分而治之算法使用者:君主和殖民者们外文名:Divide and rule method属性:数学方法数学方法:分解参考:baike.baidu.com/item/%E5%88%86%E8%80%8C%E6...
2022-03-16 17:36:53
172
原创 为什么软件开发周期总是预估的2至3倍
我认为有以下几点1.在进行需求分析的时候，没有体会到用户的真正需求，即没有做好和用户沟通交流的充分准备，导致开发过程中会出现许多的问题，方案就会一直被调整，所以时间自然会被延迟。2.用户在给需求的时候没有一次性把需求给讲清楚，中间可能会增加新的需求，所以程序员会进行代码的调整，也需要相应的时间。3.资金没有及时播下来或者工程费用远远超过工程预算。4.如果是多个程序员对一个项目进行编写，代码会有多种风格，不利于调试。5.人员的浪费，工作时候可能有些人员没有发挥真正的作用，做的不是自己擅长的
2022-03-16 17:32:49
66
原创 软件工程2.4
问题定义：计算机需要把病人产生的生理信号能够做到：接收，分析，产生警告信息。可行性分析技术可行性：病人的生理信息采集需要别的专业技术，目前国内采集信息已经成熟，而计算机通过算法能够实现相应的功能经济可行性：经济方面应该由医院给出大致费用数据，开发系统人员计算并且分析是否可行。操作可行性：监护系统需要相关技术人员1定期维护即可‘...
2022-03-09 22:43:13
75
原创 自我简介以及对软件工程的希望和个人目标
来自桂林理工大学的工科女，在学习软件工程，热爱生活，好好学习，好好努力。希望软件工程能够开拓我的视野，能够让我体验工科的乐趣个人目标希望能够通过学习软件工程，能够开发一个小程序或者开发一个自己希望的软件，最好能够对以后的创业或者就业有好的影响...
2022-03-08 14:55:05
159
原创 软件工程方法论对我们软件开发有多大用处？谈谈你的看法
首先，方法论给我们提供详细的软件开发的步骤。其次，让我们明白开发一个软件需要那些能力三 ，让我们了解到软件危机以及怎么去和团队怎么合作四 ，软件是不断变化的，我们应该实时调整，紧跟时代的步伐...
2022-03-02 22:58:38
63
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人