形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有…
【ShootHouse】最新版本安装包发布贴
12月10日更新： 安卓端布局设置新增按键阻挡视角拖动选项 若干已知BUG修复 下载链接 百度云 ：【提取码：…
【软件工程】认识WPS
工作分解结构（简称WBS）跟因数分解是一个原理，就是把一个项目，按一定的原则分解，项目分解成任务，任务再分解成…
【软件工程】什么是分而治之？
分而治之，最初的意思就是 分别的管理(处理)。 在计算机上用到分而治之就是把一个复杂的大问题化成一个个可执行的…
【软件工程】为什么软件开发周期总是预估的2~3倍？
在老师的推荐下看了这篇文章，作者用自己的经历生动地解释了为什么软件开发周期总是超出预期 作者描述了用自己徒步和…
【软件工程】习题（1）
目前住院病人主要由护士护理，这样做不仅需要大量护士，而且由于不能随时观察危重病人的病情变化，还会延误抢救时机。…
【软件工程】观软件开发模型的感想
在老师的推荐下看了这张出自 Toggle 的漫画，了解了软件开发模式的变迁史。 这张图片从上向下，五个房间，分…
【软件工程】软件工程方法论对我们软件开发有多大用处？
软件工程方法论为我们指出了在软件开发的过程中必须遵循的普遍行为和规则，同时软件工程方法论系统地研究了开发方法的…
