- 博客(6)
- 资源 (1)
- 收藏
- 关注
原创 阅读和了解什么是形式化方法?
在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和鲁棒性。但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思
2022-04-07 21:34:21
653
原创 为什么软件开发方法论让你觉得糟糕?
软件开发方法论着实让人觉得很糟糕,因为我们在真正的进行软件开发之前,并没有办法预测我该项目适用于哪种开发方法,如果一味的只知道死套前人的方法,束缚了思想,那肯定得不到预期想要的结果。用代码的行数取衡量一个开发人员的优劣,同样是不正确的。项目成功的唯一正确度量是最终的结果在生命周期里是否达到了预期目标。对项目获得的反馈少等因素IT专业人士很难获得成功产品和服务所需的技能。软件开发是一个漫长的艺术过程,我们需要好好学习,认证总结,提高能力,才能在软件开发的路上,走得更好,任重而道远。...
2022-04-07 21:30:40
53
原创 什么是WBS?
WBS,即工作分解结构(work break-downstructure)是以项目的可交付结果为导向而对项目任务进行的分组,它把项目整体任务分解成较小的、易于管理和控制的工作单元,工作分解结构的每一个细分层次表示对项目可交付结果更细致的定义和描述。WBS其实是为实现特定目标或成果的所有工作定义的层次化结果。...
2022-03-27 19:03:30
306
原创 什么是分而治之?
所谓“分而治之” 就是把一个复杂的算法问题按一定的“分解”方法分为等价的规模较小的若干部分,然后逐个解决,分别找出各部分的解,把各部分的解组成整个问题的解,这种朴素的思想来源于人们生活与工作的经验,也完全适合于技术领域。诸如软件的体系结构设计、模块化设计都是分而治之的具体表现。分而治之,最初的意思就是 分别的管理(处理)。在计算机上用到分而治之就是把一个复杂的大问题化成一个个可执行的小问题。这种做法其实是非常有效的,一个复杂的问题处理起来给人一种非常困难的感觉,但是试想如果把它划分为一个个小问题来解决,解.
2022-03-27 19:01:50
93
原创 为什么软件开发总是预估的2到3倍?
1、没有充分考虑需求2、估算了测试时间,但没有估算修复时间3、人力资源4、项目技术难度很大5、开发者的状态也是一个重要的因素6、项目经理没有处理好任务的时间分配。
2022-03-27 18:57:51
44
原创 某医院打算开发一个以计算机为中心的患者监护系统,试写出问题定义,并且分析开发这个系统的可能性。
问题定义:由于目前住院的病人增多,需要大量的护士,也不能随时观察危重病人,延误的抢救时机,某医院要开发一个系统来解决此一系列的问题。患者监护系统采用微机局部网络结构,由服务器和客户机组成,患者监护系统的功能模块:随时接受病人的生理信号,定时记录病人情况并形成患者日志,能及时向值班护士发出警告信息,打印指定病人的病人报告。经济可行性:经过医院等机构计算可得出初期经费,是否可行经过技术人员分析便可知。技术可行性:技术人员借助精密仪器便可实施。操作可行性:一般的软件工程技术人定期维护便可。...
2022-03-16 17:27:55
1017
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人