- 博客(7)
- 收藏
- 关注
原创 阅读和了解什么是形式化方法
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。 它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式 如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。 例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。 又例如:一个具体的假言联言推理“如果这种金属是纯
2022-04-17 15:03:24
54
原创 软件工程与计算机科学与技术的区别和联系
计算机科学与技术和软件工程专业同属计算机类专业,他们之间的关系十分紧密,但还是有很多区别的。众所周知,计算机系统由硬件系统与软件系统构成,计算机科学与技术专业偏重于硬件与计算机理论方面的学习研究,像计算机原理,计算机系统结构等方面的内容。当然也会涉及软件方面,但不是太深。而软件工程专业则主要偏重于应用与实践,主要是培养适应国内外软件产业市场需求的高素质、多层次、实用型软件人才。软件工程(Software Engineering,简称为SE)是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。
2022-04-17 15:02:03
233
原创 为什么软件开发方法论让我觉得糟糕
首先,用户的需求是多变的,开发环境也是不同的,我们无法用一个定式的公式可以项目成功,因为每个软件开发也需要拥有合适的开发者,如何寻找有合适技能的开发者也是一个问题. 实际的软件项目是复杂的,没有规律可循,因此,不太可能轻易下论断敏捷开发实践就比瀑布模式之流合适,反之亦然。“方法大师”的见解其实也没太大指导意义,就像Kahneman说的,“人们在想法方面的信心,并非是有效行事可倚重的因素…当评估专家的想法,即使在有规律可循的情况下,你也一定要想清楚是否有合适时机可以引入其想法的可能性”。就像Ben Butle
2022-04-03 13:31:44
196
原创 了解wbs
它就是把项目整体任务分解成较小的、易于管理和控制的工作单元,工作分解结构的每一个细分层次表示对项目可交付结果更细致的定义和描述。WBS其实是为实现特定目标或成果的所有工作定义的层次化结果。 ...
2022-04-03 13:27:49
238
原创 什么是分而治之
我认为是给每个团队成员安排清晰的任务,然后每个团队成员都能很好地完成。在开发上用到分而治之就是把一个复杂的大问题化成一个个容易解决的小问题。也就是从最终的产品开始,一层一层往下,把大型交付件分割为小型、具体的交付件,将产品分割成倒立的一棵树。当项目采用了分而治之做法,整个项目会更加清晰,每个团队成员都能行动起来,向着一个共同的目标努力。 ...
2022-04-03 13:26:15
176
原创 为什么软件开发时间总是预估的两到三倍
1、软件开发的思维模式是非常灵活的,会不断地修改进步,不是按照一定的步骤就能得到想要的结果。 2、也不会有理想的开发环境与过程,还有一些不可阻力会影响,比如资金和家庭事务。 3、开发小组对用户的需求理解不清晰和用户的需求也会不断改变,4、也有可能团队中出现短板或者团队配合度不够。 ...
2022-04-03 13:23:25
46
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人