- 博客(5)
- 收藏
- 关注
RSS订阅原创 阅读和了解什么是形式化方法
在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。
2022-12-12 16:07:20
109
1
原创 为什么软件开发周期是预估的2~3倍/什么是分而治之/了解WBS
2.“人算不如天算”, ”想象总比现实美好"！在种种不确定因素的影响下，软件开发总会被延期，所以软件开发周期总是预估的2-3倍“分而治之” 就是把一个复杂的算法问题按一定的“分解”方法分为等价的规模较小的若干部分，然后逐个解决，分别找出各部分的解，把各部分的解组成整个问题的解分而治之的基本思想 分而治之方法与软件设计的模块化方法非常相似。为了解决一个大的问题，可以：工作分解结构（简称WBS）跟因数分解是一个原理，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成一项项工作，再把一项项工作分配到每
2022-12-12 15:41:06
84
原创 学校作业，住院病人和护士护理，写出问题定义和分析可行性
目前住院病人主要由护士护理，这样做不仅需要大量护士，而且由于不能随时观察危重病人的病情变化，还可能会延误抢救时机。某医院打算开发一个以计算机为中心的患者监护系统，试写出问题定义，并且分析开发这个系统的可行性。 医生对患者监护系统的基本要求是随时接收每个病人的生理信号（脉搏、体温、血压、心电图等），定时记录病人情况以形成患者日志，当某个病人的生理信号超出医生规定的安全范围时向值班护士发出警告信息，此外，护士在需要时还可以要求系统印出某个指定病人的病情报告
2022-11-29 15:34:49
240
原创 软件工程方法论对我们软件开发有多大用处？
软件工程方法论是指在软件开发的过程中必须遵循的普遍行为和规则。 我们在开发软件的时候，第一步首先就是需要构思软件的开发，这一过程是抽象的，是需要一个指导方法的，软件工程方法论正是这样的一个指导方法，系统地学习软件工程方法论可以在我们构思软件开发时有理可循，即起到引导和启示的作用
2022-11-14 22:55:07
70
原创 软件工程是不是教会不怎么会写程序的人开发软件？
软件工程并不是教会不会写程序的人开发软件，因为软件工程主旨为工程化的方法指导软件开发、维护。软件工程开发过程分为可行性研究、需求分析、软件设计、编码、软件测试、软件维护等，而不是一开始就写代码，而编写代码只是其中很小的一部分。我认为软件工程的目的是要教会软件开发者如何工程化的去完成一个完整的软件开发。
2022-11-14 22:53:09
67
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人